Makefiles now can use openocd to flash via make write

make write uses the Olimex ARM-USB-OCD dongle
make write_ocd also uses the Olimex dongle
make write_stl uses the stlink v2 dongle