* Off: lamp is off, PWM off, CPU in sleep
* On (right): Random time to fade between colors, with a random time
staying in each color.
* Off (left): No fade between colors, with a random time in each color.
The push button speeds up fade and incolor times by a factor of 8.