Replace old zkevm-prover with two-compression-layers prover

[silathdiir]

Separate compression-circuit related part of code from #160

Summary

• Move new prover and verifier from aggregator folder to common.

• Reuse new prover and verifier to implement zkevm-prover (for chunk prove) and inner-prover (for super circuit prove).

• Replace compression_tests with chunk_tests.

• Update to do both normal and EVM verifications in new chunk_tests.

• Upgrade to latest develop branch of zkevm-circuits.

Test

• make test-inner-prove could pass.
• make test-chunk-prove could pass.

[lispc]

(not high priority)

1. how long this method takes usually? verifier.evm_verify::<CompressionCircuit>(&proof, &output_dir); ? and what about verifier.verify::<CompressionCircuit>(&proof)? We may verify both in tests?
2. make test-inner-prove is useful. I run that test from time to time to ensure real proving of super circuit works well. That test is much faster than make test-comp-prove. So we need either (1) add back make test-inner-prove or (2) as a tmp solution, after snark/proof of super circuit generated, verify it either using verifier.verify or verifier.evm_verify and log::info success. Then from log i can know super circuit proving & verification succeeds.

[lispc]

generally good.