Debian package of WebSockets for Python (ws4py)