add texinfo for travis tests