use GitHub API to download archive in install_github

Fixes #466.