import texinfo 4.8 into the tree.
(okay theo, kettenis)

TexInfo 4.0. New manpages, can create html.
A bit more grumpy about bad texinfo, though.