i need a GPIO pin to be HIGH after my script finishes... at the moment GPIO.cleanup() turns it into INPUT, and this is no good for me... can i setup the one pin and make it high after gpio.cleanup() has done its thing? or can i prevent gpio.cleanup() to cleanup all pins, and just leave one active (i...