Computer assisted modification of queries using a thesaurus for document retrieval