Python recipes for cooking up electronics with the Raspberry Pi GPIO pins