Update Gurobi to v13.0.2

[maxkratz]

• General Gurobi release information: https://support.gurobi.com/hc/en-us/articles/360048138771-Gurobi-release-and-support-history
• Release notes: https://docs.gurobi.com/projects/optimizer/en/13.0/reference/releasenotes/fixedbugs.html#fixed-issues-in-gurobi-13-0-2