lm4f: Update makefile for "make flash" support

When the makefile was originally written, openocd did not officially
support ICDI. Now that ICDI support is part of an official openocd release,
update the makefile to enable flashing with "make flash".