Scripts to set Raspberry Pi's GPIO up automagically