Example project: controlling an LED from the Raspberry Pi