Merge branch 'epsilon' into leon2

mytest/Epsilon1.scala

mytest/Epsilon2.scala

mytest/Sets2.scala

src/main/scala/leon/EpsilonElimination.scala

src/main/scala/leon/Evaluator.scala

src/main/scala/leon/FairZ3Solver.scala

src/main/scala/leon/FunctionClosure.scala

src/main/scala/leon/FunctionHoisting.scala

src/main/scala/leon/FunctionTemplate.scala

src/main/scala/leon/ImperativeCodeElimination.scala

src/main/scala/leon/Main.scala

src/main/scala/leon/PassManager.scala

src/main/scala/leon/Settings.scala

src/main/scala/leon/Simplificator.scala

src/main/scala/leon/UnitElimination.scala

src/main/scala/leon/Utils.scala

src/main/scala/leon/plugin/CodeExtraction.scala

src/main/scala/leon/plugin/Extractors.scala

src/main/scala/leon/plugin/LeonPlugin.scala

src/main/scala/leon/purescala/PrettyPrinter.scala