Builds for openocd

Latest: 0.12.0-3