Revert .travis.yml because travis-ci bugs have been fixed