Web socket connection times out on failure to receive ticks/frames.

Updating WebSocket library , it now exchanges ping/pong frames to keep a connection alive. Changes to WSThread to implement the same. DSP-177.