Use git over https for submodules

This allows easier cloning from within Jenkins,
for automatic nightlies