Explicitly specify user agent when querying user name and ref for pull request in install_github

Fixes #405.