Travis: simplify the lump of programs installed all at once, for speed.