Making HTML tree log searchable

Hi Christoph

This will be in the next update as an optional feature (on the export log action). The search will expand nodes when search hits are found and highlight them.