Library of C functions to allow control of the Raspberry Pi's GPIO pins