Eventual attempt at porting the efficient WS2812 library to mbed

Dependencies:   hubmartin-ws2812b mbed-dev