Merge pull request #423 from krlmlr/405-github-pull-forbidden

Explicitly specify user agent when querying user name and ref for pull request in install_github
Merge remote-tracking branch 'hadley/master' into develop