Update travis-ci settings