Use align_center_with_border helper in goto-diff

Author: hannes-steffenhagen-diffblue

src/goto-diff/goto_diff_parse_options.cpp

@@ -457,10 +457,10 @@ void goto_diff_parse_optionst::help()
 {
   // clang-format off
   std::cout << '\n' << banner_string("GOTO_DIFF", CBMC_VERSION) << '\n'
+            << align_center_with_border("Copyright (C) 2016") << '\n'
+            << align_center_with_border("Daniel Kroening, Peter Schrammel") << '\n' // NOLINT (*)
+            << align_center_with_border("[email protected]") << '\n'
             <<
-    "* *                  Copyright (C) 2016                     * *\n"
-    "* *            Daniel Kroening, Peter Schrammel             * *\n"
-    "* *                 [email protected]                   * *\n"
     "\n"
     "Usage:                       Purpose:\n"
     "\n"