Browsing/navigating the tree #35

Big trees (already ~100 nodes, but >1000 occurs) are hard to navigate.

Note: device trees go mainly in breadth, and very little in depth.

We need a few things:

• minimap at the side
• search (+panning, ...)
• collapsing/folding (see [WIP] make nodes collapsable #6)

further ideas and help are welcome. 🥺