Prover: build docker wo rust corset

[AlexandreBelling]

Corset takes up 2 min of docker build on the CI and we don't use it in the prover directly anymore.

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 ✅

Project coverage is 68.18%. Comparing base (bc0cfbb) to head (36eadc1).

Additional details and impacted files

@@            Coverage Diff            @@
##               main     #419   +/-   ##
=========================================
  Coverage     68.18%   68.18%           
  Complexity     1125     1125           
=========================================
  Files           319      319           
  Lines         12789    12789           
  Branches       1275     1275           
=========================================
  Hits           8720     8720           
  Misses         3541     3541           
  Partials        528      528           

Flag	Coverage Δ		*Carryforward flag
hardhat	98.70% <ø> (ø)
kotlin	65.80% <ø> (ø)		Carriedforward from bc0cfbb

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