Apparently, it's better to use HTTPS for submodules for Travis CI.