Plonk : reduce the number of Domain.build
When looking at perf on the aggregation of a large number of proof, a high stack appears because Domain.build is called in compute_PI.
This MR uses the fact that the domain is already in evaluations
to avoid using Domain.build.
Plus it removes a useless function from evaluations.ml.