Polynomial refactoring

[mratsim]

The Polynomial primitives need to be refactored.

• EIP-7594 (https://github.com/mratsim/constantine/issues/341) will require a lot of new polynomial primitives: \ https://github.com/ethereum/consensus-specs/blob/fe8db03/specs/_features/eip7594/polynomial-commitments-sampling.md

  Polynomials in coefficient form polynomial_eval_to_coeff add_polynomialcoeff neg_polynomialcoeff multiply_polynomialcoeff divide_polynomialcoeff shift_polynomialcoeff interpolate_polynomialcoeff vanishing_polynomialcoeff evaluate_polynomialcoeff

• As will multilinear polynomial commitment schemes https://github.com/mratsim/constantine/issues/299

The first step is unifying the Lagrange / Barycentric form polynomial division that are implemented twice:

• for KZG: https://github.com/mratsim/constantine/blob/4e964ff301c3f92bb597315e97f9d8d6160b67c9/constantine/math/polynomials/polynomials.nim#L157-L221
• for IPA: https://github.com/mratsim/constantine/blob/4e964ff301c3f92bb597315e97f9d8d6160b67c9/constantine/eth_verkle_ipa/barycentric_form.nim#L149-L178