Merge remote-tracking branch 'origin/master' into develop

src/main/scala/leon/purescala/Constructors.scala

src/main/scala/leon/purescala/Definitions.scala

src/main/scala/leon/purescala/FunctionClosure.scala

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

...main/scala/leon/solvers/combinators/UnrollingSolver.scala

src/main/scala/leon/solvers/smtlib/SMTLIBTarget.scala

src/main/scala/leon/solvers/templates/LambdaManager.scala

.../scala/leon/solvers/templates/QuantificationManager.scala

...main/scala/leon/solvers/templates/TemplateGenerator.scala

src/main/scala/leon/solvers/templates/TemplateInfo.scala

src/main/scala/leon/solvers/templates/TemplateManager.scala

src/main/scala/leon/solvers/templates/UnrollingBank.scala

src/main/scala/leon/solvers/z3/FairZ3Solver.scala

src/main/scala/leon/synthesis/ConversionPhase.scala

src/main/scala/leon/synthesis/Rules.scala

src/main/scala/leon/synthesis/SynthesisPhase.scala

src/main/scala/leon/synthesis/SynthesisSettings.scala

src/main/scala/leon/synthesis/Synthesizer.scala

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

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