Changed Travis CI settings