Notification infrastructure



<!---
@huboard:{"order":236.25,"milestone_order":336,"custom_state":""}
-->

Unfortunately the EventSource API is very limited, and does not have any option for setting custom headers. So for now, it seems we're stuck with this.