Fixup shorter gpio calls to use the native raspberrypi ones as they seem to work more reliably, allow command line option for setting of pin (although don't let it use anyhting other than 26 for the moment)