Update AUTHORS to have the current maintainers.

Update HACKING to drop Tomeu's GNOME login (this should be set in
~/.ssh/config)

Update INSTALL to current upstream version.