Script to tag the tree for release. Once this tag is pushed (git push; git push --tags) the build robot will pick it up and produce the builds.