add a User-Agent header

...as the GitHub API mandates it.