Use align_center_with_border helper in goto-analyzer

Author: hannes-steffenhagen-diffblue

src/goto-analyzer/goto_analyzer_parse_options.cpp

@@ -818,10 +818,10 @@ void goto_analyzer_parse_optionst::help()
 {
   // clang-format off
   std::cout << '\n' << banner_string("GOTO-ANALYZER", CBMC_VERSION) << '\n'
+            << align_center_with_border("Copyright (C) 2017-2018") << '\n'
+            << align_center_with_border("Daniel Kroening, Diffblue") << '\n'
+            << align_center_with_border("[email protected]") << '\n'
             <<
-    "* *                   Copyright (C) 2017-2018                    * *\n"
-    "* *                  Daniel Kroening, Diffblue                   * *\n"
-    "* *                   [email protected]                      * *\n"
     "\n"
     "Usage:                       Purpose:\n"
     "\n"