More travis.yml tweaks