add missing git submodule in .travis-ci