New search implementation in the IDE

[Benoît Minisini <benoit.minisini@xxxxxxxxxxxxxxxx>]

Hi,

I have just pushed on master a new implementation of the IDE search.

It is a lot faster, and so normally better, even if the features are not 
exactly the same.

But you may find problems for sure, as it is new code, so please report!

Enjoy.

--
Benoît Minisini.