Add a user agent to all github requests

Without this, the requests always fail because of: http://developer.github.com/changes/2013-01-31-user-agent-will-soon-be-mandatory/