Added bash script that can be used to publish a new version. The
maven-release-plugin is incompatible with current git versions, which
results in broken releases, so a "manual" process is used.