Changed travis-ci settings