Some extensions to the CI

Simon Spannagel requested to merge extend_ci into master

Added changes to the CI:

  • Automatically build the code reference (Doxygen)
  • Add support for packaging binary release tarballs
  • Produce Docker images and publish them on the GitLab project registry

Minor changes comprise:

  • Create build timestamp
  • Update corry executable with a better description and add a --version option which also prints the license text.

More changes to come in a separate MR.

Merge request reports