No (unless I’m missing something there), though that stuff might be handy.
Websockets allows for bi-directional communication over a TCP socket. It’s part of the current HTML5 spec so, for example, Web pages can act as clients and servers for assorted things (this is how the Leap Motion gesture controller can be used to manipulate Web pages; the page makes a Websocket connection to the Leap and gets gesture data events streamed to it).
You can do bi-directional TCP communication with the Lua API as exists (The irc client tool is based on the same principle), but i notice your websocket Lua library is co-routine optimized, so it looks better using that than reinventing the wheel.
Hardest part of websockets was the handshake. It required some cryptographic functionality, which I was fortunately able to find. Other than that, I think the implementation is lacking some handling for very long messages, I don’t remember the details exactly, but I remember I left some things unimplemented. Normally you don’t need them anyway.