add a User-Agent header

...as the GitHub API mandates it.
Merge pull request #7 from RsrchBoy/topic/user-agent

add a User-Agent header