Add User Agent for Github API

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