added stm32's libraries and openocd's config