update year + add Michael

Author: Daniel Kroening

src/goto-cc/goto_cc_mode.cpp

@@ -47,9 +47,9 @@ void goto_cc_modet::help()
   std::cout <<
   "\n"
   // NOLINTNEXTLINE(whitespace/line_length)
-  "* *         goto-cc " CBMC_VERSION "  - Copyright (C) 2006-2014          * *\n"
-  "* *        Daniel Kroening, Christoph Wintersteiger         * *\n"
-  "* *                 [email protected]                   * *\n"
+  "* *         goto-cc " CBMC_VERSION " - Copyright (C) 2006-2018           * *\n"
+  "* *          Daniel Kroening, Michael Tautschnig,           * *\n"
+  "* *               Christoph Wintersteiger                   * *\n"
   "\n";
 
   help_mode();