updated travis-ci settings