Moving to HTTPS for submodules and in docs