added to installing openocd instructions