RGB LED examples in Micropython with an ESP8266