Add openocd to path