brush up travis-ci settings