remove two includes that are no longer used

Author: Daniel Kroening

src/cbmc/cbmc_parse_options.cpp

@@ -33,8 +33,6 @@ Author: Daniel Kroening, [email protected]
 #include <goto-programs/adjust_float_expressions.h>
 #include <goto-programs/initialize_goto_model.h>
 #include <goto-programs/instrument_preconditions.h>
-#include <goto-programs/goto_convert_functions.h>
-#include <goto-programs/goto_inline.h>
 #include <goto-programs/link_to_library.h>
 #include <goto-programs/loop_ids.h>
 #include <goto-programs/mm_io.h>