Spark Core port of an Arduino websocket library