Fix submodule repo URL for travis-ci