Make travis file more robust(?)
-rw-r--r-- 137 .travis.yml
-rw-r--r-- 15133 conteq.dtx