Shell script for Raspberry Pi to monitor a power-off button (connected between ground and gpio pin 2) and safely shut down the system if the button is pushed