Add user agent

GitHub recently added a User-Agent requirement to their API:

http://developer.github.com/changes/2013-04-24-user-agent-required/