get rid of version.txt
reformat release.sh
handle branch.sql in release.sh
switch to automated version numbers
bring back version.txt
don't crash if we can't find the version
Merge pull request #2830 from gratipay/improve-release.sh

Improve release.sh