added the compiler for logderivativesum

[Soleimani193]

This PR implements the compilation of a LogDerivativeSum query. This includes imposing the constraints over the Z column;

• Z_j[0] = Num[0]/Den[0]
• Z_j[i] = Z_j[i-1]+Num[i]/Den[i]
• LocalOpening over each Z_j to find Z_j[last-row]
• \Sum_j Z_j[last-row] = claimedSum

Checklist

• I wrote new tests for my new core changes.
• I have successfully ran tests, style checker and build against my new changes locally.
• I have informed the team of any breaking changes if there are any.

[codecov-commenter]

Codecov Report

All modified and coverable lines are covered by tests ✅

Please upload report for BASE (prover/limitless-top-level@c05490e). Learn more about missing BASE report.

Additional details and impacted files

@@                      Coverage Diff                      @@
##             prover/limitless-top-level     #496   +/-   ##
=============================================================
  Coverage                              ?   70.17%           
  Complexity                            ?     1070           
=============================================================
  Files                                 ?      306           
  Lines                                 ?    12337           
  Branches                              ?     1179           
=============================================================
  Hits                                  ?     8658           
  Misses                                ?     3200           
  Partials                              ?      479           

Flag	Coverage Δ		*Carryforward flag
hardhat	98.70% <ø> (?)
kotlin	67.86% <ø> (?)		Carriedforward from c62258c

*This pull request uses carry forward flags. Click here to find out more.

[cla-assistant]

All committers have signed the CLA.