Implemented push notifications for kanban board

Users now get instant updates in the kanban board view when another user
makes an update.