Simple control of the Raspberry Pi's GPIO pins