Better on large maps
- More reactive graphical user interface when typing (the search take place in its own thread). This is sensible with large maps.
- New option to not bring back the previous search terms after some time.
- Don't use the root node for transversal searches (this was silly).
- Fix a bug for long texts in results list.