Feature/push notifications

This branch contains the code to make push notifications work.

Currently, we're using short polling as we can't get long polling or SSEs to work, and WebSockets are out of the question.