o1vm/pickles: introduce the computation of the quotient polynomial

[dannywillems]

TODO:

• absorb the commitments
• add in the opening proof

Note that this will break the e2e tests because selectors polynomials are not defined correctly at the moment.

[codecov]

Codecov Report

Attention: Patch coverage is 0% with 47 lines in your changes missing coverage. Please review.

Project coverage is 72.57%. Comparing base (f9781af) to head (96d42c1).

Files with missing lines	Patch %	Lines
o1vm/src/pickles/prover.rs	0.00%	43 Missing ⚠️
o1vm/src/pickles/main.rs	0.00%	3 Missing ⚠️
o1vm/src/pickles/column_env.rs	0.00%	1 Missing ⚠️

Additional details and impacted files

@@                     Coverage Diff                     @@
##           o1vm/column-env-pickles    #2652      +/-   ##
===========================================================
- Coverage                    72.62%   72.57%   -0.06%     
===========================================================
  Files                          246      246              
  Lines                        58070    58105      +35     
===========================================================
- Hits                         42175    42171       -4     
- Misses                       15895    15934      +39     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.