Redis integration

replacing vcweb-sockjs.py ghetto dispatcher and connection manager with redis pubsub. Fix #9