Supply user agent.

This conforms to GitHub's api requirements.

see
http://developer.github.com/changes/2013-01-31-user-agent-will-soon-be-mandatory/