Give submodule URLs consistency

Besides consistency,  the 'git://' protocol is sometimes blocked on certain public wifi networks. 'https://' tends to bypass this.