openocd support has been merged to HEAD

Just an update on openocd support. HEAD now includes Karl Palsson's patch as of Sep 29.