Revert to using GitHub archive URLs instead of GitHub API for install_github

See discussion in #474.