[CasADi] Update to version 3.7.2#13243

EllissoideRotondo wants to merge 4 commits intoJuliaPackaging:masterJuliaPackaging/Yggdrasil:masterfrom

EllissoideRotondo:masterEllissoideRotondo/Yggdrasil:masterCopy head branch name to clipboard