Update msolve 0.8.0

[vbraun]

Mainly to get us out of the sticky situation with the modified 0.7.5 tarball, for which we have two conflicting binaries breaking the gh release workflow: https://github.com/sagemath/sage/actions/runs/15656638164/job/44108544612

[dimpase]

I see various patches here - does this PR depend on some other PRs, or this is all for msolve?

[github-actions]

Documentation preview for this PR (built with commit 2712e48; changes) is ready! 🎉
This preview will update shortly after each push to this PR.

[vbraun]

Oops wrong base branch, fixed

[dimpase]

ok

[jeriedel24]

IMHO this PR is incomplete. The update from msolve 0.6.0 to 0.7.5 or to 0.8.0 breaks the feature check in src/sage/features/msolve.py.
In the method is_functional we call msolve -h, and we check if the first 46 characters of the output are the string b'\nmsolve library for polynomial system solving\n' (lines 57 to 63).
However in msolve 0.8.0 that line of output does not end with solving\n but it ends with solving, version 0.8.0\n.
Hence I suggest that src/sage/features/msolve.py be adapted to that.

[dimpase]

@vbraun - see vbraun#1
for the fix

[jeriedel24]

Thank you for taking care of that.