Python GPIO stuff for remote buttons for cho