Machinery for versioned releases

WIP of necessary script to prepare releases.
Publishing ought to be a separate step.

The 'release master' may want to construct a release - add a changelog entry, do the tagging, run this script - all from their own repo, and then perhaps share the artifacts with friends for testing/review before pushing their changes to the main repo on github and publishing the artefacts as a release.