ca: tweak Travis-CI integration