A daemon for switching off the Raspberry Pi shorting a pin on GPIO