A demo showing Flask, Redis pubsub, and HTML5 server side events