Prepare for github.com releases

They have this nice feature that allows me to tag a file if I want to
release it. That's all nice and dandy, but it does require that the
version control system contains _everything_ -- including autogenerated
files.

Not entirely happy about that, but well.