Automate Release Publication

[kfriedberger]

We currently depend on several manual steps when publishing a release. We should automate more parts of it.

Current steps:

• download and build JavaSMT (on Ubuntu 22.04 using prepared Dockerfile)
• create tag in Git
• create a release with documentation on Github
• publish to Ivy
• publish to Maven

We could simplify parts, such as:

• have a specified secure branch release where admins can merge into from PRs
• some CI then takes the branch, builds it and publishes it to all necessary artifact systems (Github needs to have credentials for this)
• manually (or semi-automatic) create a release on Github