raising minimum Texinfo requirement in src tree

[Ben Elliston]

> Here it is:
>   http://sourceware.org/bugzilla/show_bug.cgi?id=1860
> I believe it's @include{@value{}}.

That's right.

Ben