Toolchain for aggregation mode

[nkaskov]

We must add full support for the circuit aggregation mode to the toolchain. This involves both functionality updates and debug info to simplify features debug. The issues to be solved:

• Add different arithmetization setting support #177
• [Feature request]: comprehensible log messages from the multithreaded proof producer proof-producer#35
• Output marshalled common data proof-producer#31
• Configurable proof-producer arithmetization params proof-producer#54
• Support of different arithmetization params proof-market-toolchain#127
• CLI for aggregated proving proof-market-toolchain#124
• [Feature request]: Update public input format #489