Interesting. I did not know about these modules. Thank you for bringing this to my attention. Which module do you have (frequency)? These module are intended to be used as a network processor connected to an MCU. Looking at the user manual there is no serial loader implemented nor a way to update the firmware over the air. With that said, it seems that the modules expose the TCKC, TMSC and RESET line. You should be able to hookup these lines from the LaunchPad's XDS110 if you have one to program it with Energia. Please not that there are pin mappings specific for the LaunchPad that you might want to change.