Sending user agent for GitHub API. Fixes #5