Tweaking Travis.yml, see if it works better with submodules