Method and tool for the automatic reformulation of search keyword strings in document search systems