Migrate the manual release process in ./release.sh into one or more GitHub actions which are triggered when pushing a final tag like "v1.2.3.Final".

The GitHub actions should take care of:

• build the artifacts using the right maven profiles
• push to gh-pages
• build and push docker images
• update changelog

Evaluate if using https://jreleaser.org/ makes sense.