Update protocol on git submodule URLs

Not everywhere the needed ssh/git ports are available (e.g. behind firewall).
Changing the protocol to https:// allows for easier cloning of the repository.