Added travis.yml again, to allow Travis CI