C library, C example and Python wrapper for driving ws2812 pixels from the Raspberry Pi