Merge pull request #200 from MikaelMayer/clean-evaluator

src/main/scala/leon/evaluators/AbstractEvaluator.scala

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

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

src/main/scala/leon/purescala/ExprOps.scala

src/main/scala/leon/purescala/SelfPrettyPrinter.scala

src/main/scala/leon/repair/rules/Focus.scala

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

src/main/scala/leon/synthesis/ExamplesBank.scala

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

src/test/scala/leon/test/helpers/WithLikelyEq.scala