Optionally use redis to scale workers.

Move the socket.io backend and the client counter into redis if it is
configured, so that we can scale past a single server.

This doesn't solve the fact that all servers will be fetching their own
frames from the webcam, linearly increasing load there for each server
added.