Websocket client for the Arduino Ethernet shield