new text file

["Julian Satran" <Julian_Satran@il.ibm.com>]

Dear colleagues,

Thanks to Luben Tuikov that pointed out to me the Xpdf tool we have now a
decent text file
derived of the pdf (and thus guaranteed to be identical :-)). It has a toc
and the same pagination as the
pdf file.

Julo