See this post for all of the info.
Antonio Xmas 2013
The code for a Raspberry Pi controlled Xmas tree project with kids in 2013