Code for a raspberry-pi based LED fader thingy.