.travis.yml: Minor tweaks