Since #33734, msolve developers have changed (stabilized?) the output format and documented the computation of varieties over finite fields and Gröbner bases.

We update the existing interface accordingly, and add (basic) interfaces to the new features.

(See also #31664.)

Component: commutative algebra

Author: Marc Mezzarobba

Branch/Commit: 17ea8dd

Reviewer: Matthias Koeppe

Issue created by migration from https://trac.sagemath.org/ticket/34519