Release script to facilitate the release procedure

Thom Wiggersrequested to merge
release-script into master

Short description

Allows for convenient releases with basic sanity checking.

Merge request reports