Add automated release workflow

[AlecRosenbaum]

This PR adds a manually dispatched workflow that:

• accepts a version number
• checks the version number matches master
• checks that there's a changelog entry for this version
• creates a tag on the current commit
• uploads the release to pypi