use https for git submodule for travis