Introductory Python programs for controlling LEDs using a Raspberry Pi (for my workshop)