Reload the Knox Home page upon topology changes

It would be nice if the Knox home page got reloaded when Knox redeploys a topology. Using push notifications seems to be a good way to do this.

Alternatively, a client-side poll can be configured to fetch changes from the Knox back-end.