send user agent

Github recently (somewhere between 1 and 2 weeks ago) started requiring a User Agent on (certain?) API calls. This fixes trac2github to work since that change.