A small Raspberry Pi GPIO demo project in Python for RPi.GPIO