Use HTTPS for git subomdules