New 10 time faster proximity search.
The praximity searhes have been rewied and made 10 time faster. This allows faster result even in case of komplex proximity searches including a significant number of wildcards even if the words in the query are widespread.