Tools for remotely controlling the GPIO pins on a Raspberry PI