ask openocd for tap name