Fix submodule URL for travis-ci