I've almost completed putting together the program to initiate DFU mode and flash the board from within Arduino / Energia. It's pieced together from source code provided by TI in their TivaWare sdk. This will be a Windows only flashing tool customized to the boot loader process of this particular board. I've not begun the Linux side yet, but my research tells me that it will be a much easier task. I believe "dfu-util" will work for it with only minor modifications.