Add user agent to fetch JSON describing repositories

Ref. http://developer.github.com/changes/2013-01-31-user-agent-will-soon-be-mandatory/