Merge pull request #6920 from tautschnig/bugfixes/goto-diff-opt

goto-diff: include --verbosity in help output

Author: tautschnig

src/goto-diff/goto_diff_parse_options.cpp

@@ -247,6 +247,7 @@ void goto_diff_parse_optionst::help()
     " --version                    show version and exit\n"
     " --json-ui                    use JSON-formatted output\n"
     HELP_FLUSH
+    " --verbosity #                verbosity level\n"
     HELP_TIMESTAMP
     "\n";
   // clang-format on