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