Changed submodule to use https for travis' sake