Steps to do on releasing

update "Changes" file, if necessary.
Run git flow release start <version>
Run ./dev-bin/release.sh and verify the result
Run mbtiny test to make sure no test failures. Fix test failures if any.
Run git flow release finish <version>
Run git checkout master
Run git push; git push --tags
Run mbtiny dist and upload the tarball.
Update webpages of release note etc