Medical devices, for modulating a patient's body temperature, namely, catheters, body coverings, fluid exchangers, sensors, and control consoles