New travis-ci settings.