Musical Christmas lights running from a Raspberry Pi