Use align_center_with_border helper in janalyzer

Author: hannes-steffenhagen-diffblue

jbmc/src/janalyzer/janalyzer_parse_options.cpp

@@ -736,11 +736,10 @@ void janalyzer_parse_optionst::help()
 {
   // clang-format off
   std::cout << '\n' << banner_string("JANALYZER", CBMC_VERSION) << '\n'
+            << align_center_with_border("Copyright (C) 2016-2018") << '\n'
+            << align_center_with_border("Daniel Kroening, Diffblue") << '\n'
+            << align_center_with_border("[email protected]") << '\n'
             <<
-     /* NOLINTNEXTLINE(whitespace/line_length) */
-    "* *                   Copyright (C) 2016-2018                    * *\n"
-    "* *                  Daniel Kroening, Diffblue                   * *\n"
-    "* *                   [email protected]                      * *\n"
     "\n"
     "Usage:                       Purpose:\n"
     "\n"