hash of public params for Nova & HyperNova

[arnaucube]

• implement hash of public params for Nova & HyperNova
• abstract pp_hash computation for folding schemes
• add pp_hash to solidity contract generator to verify the decider proof

[CPerezz]

Will review once #116 is merged to focus only on the content of this PR.

Otherwise, can you change the destination of this PR to #116's branch temporarilly to allow for an easier review?

[arnaucube]

Rebased to latest main branch updates, this PR is now ready to be reviewed.