Add a default User-Agent for HTTP requests

The github.com API now requires this (see
http://developer.github.com/v3/#user-agent-required), and it seems like
a good thing to do in any case.
Merge pull request #490 from aroben/user-agent

Add a default User-Agent for HTTP requests