Use https to clone etcd github repo in case git protocol is blocked by firewall