travis-ci: some improvements.