Fix git clone so it uses HTTPS instead of SSH