Removed Travis CI, too, for the time being