Document the release process and encode it in Makefile.release. We use gh-release to minimize the amount of effort required.