The .hex is the only file you're after.
Some of the other files are useful for debugging problems or checking on the amount of memory you are using up on the controller.
You can only download the .hex file to the robot using the separate IFI_Loader program available at
http://www.ifirobotics.com/docs/ifi-loader-v1-0-10.zip