Use the GPIO pins on the Raspberry Pi without running as root