Changing submodule path to HTTPS to unbreak Travis CI.