use https git submodules so travis ci can check them out