Use WebSockets for push notifications (closes #101).