http and websocket server for the arduino environment