Search frontier lantern

A bounded planning tree exposes the current exploration frontier and lets the user spend another search step.

Wide diagrams scroll horizontally. All actions are available through the controls.