Uwe Hermann: Add a --version switch for openocd.