Fix GitHub user-agent change

This trivial patch sends a User-Agent header, which is now required by GitHub.

http://developer.github.com/changes/2013-04-24-user-agent-required/