tools/release: fixes and improvements

 - Fix the command pushing the rel tag.

 - Fix the TAG name. Before this commit, the version number was
   surrounded by curly braces, e.g. `{0.8.0}`.

 - Use the list of changes as a tag message.