Improved documentation of the websocket module by describing the
introspection procedures and providing an example client code.