doc: Document the advanced FILE stream functions. * doc/stdioext.texi: New file. * doc/gnulib.texi (Particular Modules): Include it.