Why do these kind of tools have tendency to appear on HN about a month too late? :)
BTW, what did you end up doing? Did you build something of your own? Any gotchas you would like to share? I am investigating if Nginx will co-operate with the websocket connections and what will be the price of maintaining live connections to a bunch of clients. I am kind of inclined to build and run my own server...