update repo location for ThermoSysPro installation in OMEdit

Current path points out the github repo (and not the gitlab).

Check that mirror to github is up-to-date or notify OpenModelica developers to use directly the gitlab repo.