Python script that shutdown or reboot raspberry pi from gpio pins