An Arduino shield to control 12V RGB LED boards using a WS2801