New license server for Gurobi

The license server for Gurobi is now "licserv-r.rz.rPTU.de".

If you have installed the software, please adjust the file "gurobi.lic" accordingly to enable further use.

Your RHRZ Team