Replaced git:// with https://

Because most probably, http and https are open in corporate
firewalls, but git:// might not be open.