Feat(PCS): Add Hyrax PCS scheme

[PatStiles]

trafficstars

Adds Hyrax PCS Scheme

Description

• Adds the Hyrax Multilinear PCS scheme.
• Adds a new trait interface for polynomial commitments IsPolynomialCommitmentScheme (to be iterated on)
• Modifies Pippenger interface to accept FieldElements
• Creates a supertrait of IsTranscript called IsStarkTranscript to accomodate STARK specific function

Type of change

Please delete options that are not relevant.

• [x] New feature