open-ideas/IDEAS — pull request #214 by Mathadon (2014-12-17 13:11:57+00:00)
Title: merged Pump_HeatPort and Pump_Insulated into Pump.mo

This pull request merges our three pumps into one for #172

Unit tests have been checked.