Check git config to see if https:// should be used instead of git://

This helps users that are behind firewalls blocking git:// protocol
who should already have this option configured in their git config

Should fix #5257 and related issues