Release workflow

We are using GitHub Releases for our release workflow. GitHub Releases are based on git tags.

CI builders

• Travis CI - for Linux and OSX builds
• AppVeyor - for Windows builds

Workflow

We only use lightweight tags for releases. This is because as of this writing, AppVeyor cannot start a build when you use annotated tags.