.travis.yml: small tweaks