added dev tools and fixed openocd