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/
Merge pull request #8 from hjdivad/supply-user-agent

Supply user agent.