Don't install Texinfo on OS X

I don't need the latest Texinfo on OS X anymore, because I don't write
Texinfo anymore.  I just build Texinfo output generated by Sphinx.

Besides, Texinfo 4.x is way faster than Texinfo 5.x.