Update copyright in help output for {CJ}BM and goto-analyzer

Author: Matthias Güdemann

src/cbmc/cbmc_parse_options.cpp

@@ -849,7 +849,7 @@ void cbmc_parse_optionst::help()
   // clang-format off
   std::cout <<
     "\n"
-    "* *   CBMC " CBMC_VERSION " - Copyright (C) 2001-2017 ";
+    "* *   CBMC " CBMC_VERSION " - Copyright (C) 2001-2018 ";
 
   std::cout << "(" << (sizeof(void *)*8) << "-bit version)";
 

src/goto-analyzer/goto_analyzer_parse_options.cpp

@@ -807,18 +807,17 @@ bool goto_analyzer_parse_optionst::process_goto_program(
 /// display command line help
 void goto_analyzer_parse_optionst::help()
 {
-  std::cout <<
-    "\n"
-    "* * GOTO-ANALYZER " CBMC_VERSION " - Copyright (C) 2017 ";
+  std::cout << "\n"
+               "* * GOTO-ANALYZER " CBMC_VERSION " - Copyright (C) 2017-2018 ";
 
   std::cout << "(" << (sizeof(void *)*8) << "-bit version)";
 
   std::cout << " * *\n";
 
   // clang-format off
   std::cout <<
-    "* *                Daniel Kroening, DiffBlue                * *\n"
-    "* *                 [email protected]                   * *\n"
+    "* *                  Daniel Kroening, DiffBlue                   * *\n"
+    "* *                   [email protected]                      * *\n"
     "\n"
     "Usage:                       Purpose:\n"
     "\n"

src/jbmc/jbmc_parse_options.cpp

@@ -817,9 +817,8 @@ bool jbmc_parse_optionst::process_goto_functions(
 /// display command line help
 void jbmc_parse_optionst::help()
 {
-  std::cout <<
-    "\n"
-    "* *   JBMC " CBMC_VERSION " - Copyright (C) 2001-2017 ";
+  std::cout << "\n"
+               "* *   JBMC " CBMC_VERSION " - Copyright (C) 2001-2018 ";
 
   std::cout << "(" << (sizeof(void *)*8) << "-bit version)";