TeXindex for indexes in LaTeX and TeXinfo documents