document releases

This documents the release process as discussed in #77 and #79 (though slightly simplified for now). It may be extended in the future, e.g. when some degree of release automation is implemented.

I am not sure if this fixes #77 or #79. I leave that question to the reviewer.