Added websockets with Redis pub/sub as a POC. At the moment, it only works with users todo count.
cc. @jschatz1 @DouweM