set a user agent since github started rejecting requests without user agents
0.1.9