add openocd.h for top-level declarations