Trivial patch to provide a user-agent, so as to make GitHub's API work again

http://developer.github.com/changes/2013-04-24-user-agent-required/