add a texinfo dependency for Travis