HTML5 web sockets server for the CC3000 and Arduino.