Merge branch 'master' of laragit.epfl.ch:projects/leon-2.0

PERMISSIONS

src/main/scala/leon/Analysis.scala

src/main/scala/leon/ArrayTransformation.scala

src/main/scala/leon/EpsilonElimination.scala

src/main/scala/leon/FunctionClosure.scala

src/main/scala/leon/FunctionHoisting.scala

src/main/scala/leon/ImperativeCodeElimination.scala

src/main/scala/leon/LeonContext.scala

src/main/scala/leon/LeonOption.scala

src/main/scala/leon/LeonPhase.scala

src/main/scala/leon/Main.scala

src/main/scala/leon/Pipeline.scala

src/main/scala/leon/Settings.scala

src/main/scala/leon/Simplificator.scala

src/main/scala/leon/TypeChecking.scala

src/main/scala/leon/UnitElimination.scala

src/main/scala/leon/plugin/AnalysisComponent.scala

src/main/scala/leon/plugin/ExtractorPhase.scala

src/main/scala/leon/plugin/LeonPhase.scala

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