Set a default user agent

GitHub API v3 [requires a user-agent](http://developer.github.com/v3/#user-agent-required)