Avoid using /dev/stderr as it results in null characters being output

Fix deletion of GPG keys after release

Avoid reliance on legacy domains for jboss.org

Cope with filemgmt.jboss.org not supporting scp anymore

Merge pull request #11 from yrodiere/no-ruby

Remove reliance on Ruby

Switch to filemgmt-prod-sync.jboss.org for rsync following infra upgrade

Change rsync command to filemgmt.jboss.org following infra upgrade

Set up git username/email before releases

Better matching of the key ID when importing a GPG key

Delete imported gpg keys explicitly, just in case

Introduce single entry point for the whole release

Add scripts to set up and clean up environment (GPG, ...)

Temporarily publish to docs.jboss.org instead of docs.hibernate.org

More precise version information in commit messages in upload-documentation.sh