Release

Steps to make a release:

• Run make doc (you'll need tomdoc.sh)
• Update the CHANGELOG.md
• Update GitHub Pages' branch (gh-pages)
• Bump SHARNESS_VERSION
• Sign the tag: git tag -s -m 'Release 1.x' v1.x
• Verify the tarball of the tag and do gpg --armor --detach-sign v1.x.tar.gz
• Make a GitHub Release in: releases/new
• Write an announcement to the Git mailing list example.