Bring in some rasPi code, specifically the buttonDown function

This PR brings in some Raspberry Pi specific elements, specifically controlling the GPIO pins for reading an input by means of a button-down switch.