Some extensions to the CI

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.