Adapt usages of the HELP_GOTO_CHECK macro

Adapt the help messages of all the tools to work with the macro
HELP_GOTO_CHECK which is now using help_entry() for the entry for
--overly-large-allocation-check

Author: danpoe

src/cbmc/cbmc_parse_options.cpp

@@ -1067,7 +1067,7 @@ void cbmc_parse_optionst::help()
     HELP_SHOW_GOTO_FUNCTIONS
     "\n"
     "Program instrumentation options:\n"
-    HELP_GOTO_CHECK
+    << HELP_GOTO_CHECK <<
     " --no-assertions              ignore user assertions\n"
     " --no-assumptions             ignore user assumptions\n"
     " --error-label label          check that label is unreachable\n"

src/goto-analyzer/goto_analyzer_parse_options.cpp

@@ -916,7 +916,7 @@ void goto_analyzer_parse_optionst::help()
     HELP_SHOW_PROPERTIES
     "\n"
     "Program instrumentation options:\n"
-    HELP_GOTO_CHECK
+    << HELP_GOTO_CHECK <<
     "\n"
     "Other options:\n"
     HELP_VALIDATE

src/goto-diff/goto_diff_parse_options.cpp

@@ -407,7 +407,7 @@ void goto_diff_parse_optionst::help()
     " --compact-output             output dependencies in compact mode\n"
     "\n"
     "Program instrumentation options:\n"
-    HELP_GOTO_CHECK
+    << HELP_GOTO_CHECK <<
     " --cover CC                   create test-suite with coverage criterion CC\n" // NOLINT(*)
     "Other options:\n"
     " --version                    show version and exit\n"

src/goto-instrument/goto_instrument_parse_options.cpp

@@ -1792,7 +1792,7 @@ void goto_instrument_parse_optionst::help()
     "\n"
     "Safety checks:\n"
     " --no-assertions              ignore user assertions\n"
-    HELP_GOTO_CHECK
+    << HELP_GOTO_CHECK <<
     " --uninitialized-check        add checks for uninitialized locals (experimental)\n" // NOLINT(*)
     " --error-label label          check that label is unreachable\n"
     " --stack-depth n              add check that call stack size of non-inlined functions never exceeds n\n" // NOLINT(*)