Pushing tags in README-release

[Reuben Thomas]

Unless I'm missing something, there's nothing that does "git push
--tags" in README-release. Is that right? If so, I'll provide a patch.

-- 
http://rrt.sc3d.org