Track evaluation bank between evaluators and solvers

src/main/scala/leon/codegen/CompilationUnit.scala

src/main/scala/leon/codegen/runtime/Monitor.scala

src/main/scala/leon/datagen/VanuatooDataGen.scala

src/main/scala/leon/evaluators/AngelicEvaluator.scala

src/main/scala/leon/evaluators/CodeGenEvaluator.scala

src/main/scala/leon/evaluators/DefaultEvaluator.scala

src/main/scala/leon/evaluators/DualEvaluator.scala

src/main/scala/leon/evaluators/Evaluator.scala

src/main/scala/leon/evaluators/RecursiveEvaluator.scala

src/main/scala/leon/repair/Repairman.scala

src/main/scala/leon/solvers/EvaluatingSolver.scala

src/main/scala/leon/solvers/SolverFactory.scala

src/main/scala/leon/solvers/unrolling/UnrollingSolver.scala

src/main/scala/leon/synthesis/ExamplesFinder.scala

src/main/scala/leon/synthesis/rules/CEGISLike.scala

...ain/scala/leon/synthesis/rules/unused/BottomUpTegis.scala

src/main/scala/leon/synthesis/rules/unused/TEGISLike.scala

...a/leon/integration/evaluators/CodegenEvaluatorSuite.scala

...st/scala/leon/integration/evaluators/EvaluatorSuite.scala