Use HTTPS instead of git protocol for clone pyenv

for firewall issue