Implement WebSocket push

* Introduces EventBus for multiple Pushers