Websocket server for ESP8266 and ESP32 with microPython