Update link to ThermoSysPro repo in the EDF web page