Neuron name service: add refresh method

This method is a convenience method to update all name representations
and notify all registered widgets in one go.
Neuron annotations: refresh name service when annotation is added or removed

Now the neueon name service is refreshed (and all clients are notified)
as soon as an annotation is added or removed. This fixes #718 and
relates to #717.