Add openocd launch config.