Upgrade to latest pywebsocket, plus a local patch to fix https://code.google.com/p/pywebsocket/issues/detail?id=132