t2server 0.7.2

The Tribes 2 installer can be downloaded as tribes2gsi.exe or tribes2_gsi.exe. Fixed an issue where if tribes2gsi.exe was manually placed in winbin, it would fail to execute. It will now be renamed to tribes2_gsi.exe during discovery as this is what install_wrapper.exe expects.