Add important release steps.

[jelmersnoeck]

If you don't add files, you can't commit them. git push --tags only pushes the tags, not the actual changes.