Set an UA string with GitHub API requests

GitHub API requires an user-agent string to be present when making
requests to their API.

Close #464