Update navigation tree when creating/deleting/updating a page

The current implementations of the navigation tree do not support page updates that should affect a node that has already been opened once.

This improvement might require defining global events on page changes.