Navigator: decouple active skeleton node optionally from node change

A small checkbox on the upper right corner of the content pane is added to let
the user decide whether the current display should be in sync when the active
skeleton changes. By default this option is selected and the display updates
when the active skeleton changes.