ao-tools: update ao-flash-stm32f0x to work with openocd in Debian unstable