use GitHub API to download archive in install_github

Fixes #466.
Fixed in 5c1e503740931449.