add .travis.yml

same as .travis.yml from conda with PYCOSAT lines removed