Actually most commercial Thermostats have 0 - 10 v output.
Arduino is cool but if your going down that route you could look at PWM to the solenoid ( you would need a high duty cycle solenoid like a Kipp valve)
it may be a little surgey (that's not a word :scared-eek: ).