Add the gdb and openocd configuration script for the latest openocd version.