travis tweak: install texinfo