control LEDs with MicroPython