Towards an Environment for HVAC Control System Evaluation