add KZG+

this adds the KZG+ cryptographic method alongside Semi-AVID.

changelog

• the Makefile now uses --all-features to compile everything
• a new module algebra has been added, with tests for all functions
  • algebra::scalar_product_polynomial computes a linear combination of polynomials
    (P_i)
  • algebra::powers_of computes
    n
    successive powers of a number
    r
• a new function zk::trim has been added from gitlab.isae-supaero.fr:a.stevan/poly-commit@19fc0d4/src/kzg10/mod.rs#L513-L538
• a new feature kzg has been added, with an optional dependency on gitlab.isae-supaero.fr:a.stevan/poly-commit@19fc0d4
• a new module kzg has been added and exposes the following publicly
  • structures
    • Block
  • functions
    • commit
    • prove
    • verify
    • batch_verify
  • tests when block are left as-is and when one of them is corrupted