Use align_center_with_border helper in goto-instrument

Author: hannes-steffenhagen-diffblue

src/goto-instrument/goto_instrument_parse_options.cpp

@@ -1557,10 +1557,10 @@ void goto_instrument_parse_optionst::help()
 {
   // clang-format off
   std::cout << '\n' << banner_string("Goto-Instrument", CBMC_VERSION) << '\n'
+            << align_center_with_border("Copyright (C) 2008-2013") << '\n'
+            << align_center_with_border("Daniel Kroening") << '\n'
+            << align_center_with_border("[email protected]") << '\n'
             <<
-    "* *                Copyright (C) 2008-2013                  * *\n"
-    "* *                    Daniel Kroening                      * *\n"
-    "* *                 [email protected]                   * *\n"
     "\n"
     "Usage:                       Purpose:\n"
     "\n"