Raspberry Pi: Python scripting the GPIO