Installing MicroPython on an ESP32