GPIO interface on Raspberry Pi - toggling an LED