Separate preprocessing from proving and verification by adding a parameter --stage to proof producer.

[martun]

Separate preprocessing from proving and verification by adding a parameter --stage to proof-producer. Currently proof-producer is doing both preprocessing and proving at once, but we need them separated for aggregated FRI.