Move around the code pertaining to the notification broker, making the various roles a bit clearer. This also de-couple the broker logic from the local revng daemon.
Giacomo Vercesi