A few Travis CI/Tycho updates

See commit comments please.