[help-system] move the contributor names to the top of the help system

[lucasccordeiro]

Something like:

* *               ESBMC-AI 64-bit              * *
* *                 Copyright (C) 2023         * *
* *              Authors                       * *
* * University name                             * *
* *                  email                      * *