.travis.yml: various minor cleanup