Remove tools/openocd-source