README.txt: describe how to flash raw binaries with openocd and stlink