stm32f4discovery: use openocd for flashing

Add 

    -c 'tcl_port 0' \
    -c 'gdb_port 0' \
    -c 'telnet_port 0' \

to avoid issues with port already in use when you don't actually need the network functionality.