Solver contexts to propagate evaluation banks in solver-evaluator

src/main/scala/leon/LeonContext.scala

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

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

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

...scala/leon/invariant/engine/UnfoldingTemplateSolver.scala

...ala/leon/invariant/templateSolvers/ExtendedUFSolver.scala

...riant/templateSolvers/UniversalQuantificationSolver.scala

src/main/scala/leon/solvers/EnumerationSolver.scala

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

src/main/scala/leon/solvers/GroundSolver.scala

src/main/scala/leon/solvers/Solver.scala

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

src/main/scala/leon/solvers/SolverUnsupportedError.scala

...main/scala/leon/solvers/combinators/PortfolioSolver.scala

...ala/leon/solvers/combinators/PortfolioSolverFactory.scala

src/main/scala/leon/solvers/cvc4/CVC4Solver.scala

src/main/scala/leon/solvers/cvc4/CVC4UnrollingSolver.scala

...ain/scala/leon/solvers/isabelle/IsabelleEnvironment.scala

src/main/scala/leon/solvers/isabelle/IsabelleSolver.scala

.../leon/solvers/smtlib/SMTLIBCVC4CounterExampleSolver.scala