MVP implementation for Mangrove

[CPerezz]

Implement an MVP of Mangrove: A Scalable Framework for Folding-based SNARKs.

This is an interesting folding paper which follows the ideas of the double-pass prover from @levs87 and ProtoStar and actually tries to break down plonk verification within multiple folding steps instead of going through the traditional approach.