Release process

There are a few steps to the release process currently (which may be automated down the line)

1. Checkout the main branch.
2. Edit the VERSION file.
3. Add changelog entries to CHANGELOG.yml.
4. Commit these changes.
5. Push to origin.
6. Wait for CircleCI to go green.
7. Run make github-release. This tags the current HEAD.