travis: tweak coverage collection