Use an interface for the phpbb event_dispatcher

Currently the \phpbb\event\dispatcher add a new method (trigger_event) and is used directly without any interface, so we can't change the event dispatcher.