Search engine for a collection of text documents