Remove commented out calls to non-existant outputs

These no-longer serve any value as the functions being called no longer
exist and there is no indication that they might be needed.

Author: thomasspriggs

src/goto-programs/write_goto_binary.cpp

@@ -129,10 +129,6 @@ bool write_goto_binary(
 {
   write_symbol_table_binary(out, symbol_table, irepconverter);
   write_goto_functions_binary(out, goto_functions, irepconverter);
-
-  // irepconverter.output_map(f);
-  // irepconverter.output_string_map(f);
-
   return false;
 }