Remove redundant case in the exception handling in parse_options.cpp

For ease of migration this case was kept from the calling code.
However it is actually redundant and so is removed in this commit.

Author: martin

src/util/parse_options.cpp

@@ -78,11 +78,6 @@ int parse_options_baset::main()
     std::cerr << e.what() << '\n';
     return CPROVER_EXIT_USAGE_ERROR;
   }
-  catch(incorrect_goto_program_exceptiont &e)
-  {
-    std::cerr << e.what() << '\n';
-    return CPROVER_EXIT_EXCEPTION;
-  }
   catch(const cprover_exception_baset &e)
   {
     std::cerr << e.what() << '\n';