Python interface to manipulate the GPIO pins