.travis.yml: tweaks