Deprecate patternMatchReconstruction, minimize use of matchToIfThenElse

src/main/scala/leon/codegen/CodeGeneration.scala

src/main/scala/leon/codegen/CompilationUnit.scala

src/main/scala/leon/purescala/TreeOps.scala

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

src/main/scala/leon/utils/Simplifiers.scala

src/main/scala/leon/verification/DefaultTactic.scala

src/main/scala/leon/verification/InductionTactic.scala

src/main/scala/leon/verification/Tactic.scala

src/test/resources/regression/transformations/Match.scala

src/test/scala/leon/test/purescala/TransformationTests.scala