Infrared spectroscopy with a balloon-borne Michelson interferometer. I - Instrumentation and performance