MicroPython driver for WS2812 RGB LEDs.