Move condition abduction to a feature branch

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

src/main/scala/leon/synthesis/condabd/Report.scala

src/main/scala/leon/synthesis/condabd/SynthesisInfo.scala

...in/scala/leon/synthesis/condabd/SynthesizerExamples.scala

...n/synthesis/condabd/evaluation/CodeGenExampleRunner.scala

...n/synthesis/condabd/evaluation/DefaultExampleRunner.scala

...eon/synthesis/condabd/evaluation/EvaluationStrategy.scala

...ala/leon/synthesis/condabd/evaluation/ExampleRunner.scala

src/main/scala/leon/synthesis/condabd/examples/Example.scala

...scala/leon/synthesis/condabd/examples/InputExamples.scala

src/main/scala/leon/synthesis/condabd/insynth/InSynth.scala

...ala/leon/synthesis/condabd/insynth/leon/CommonTypes.scala

...ynthesis/condabd/insynth/leon/DomainTypeTransformer.scala

...leon/synthesis/condabd/insynth/leon/LeonDeclaration.scala

...hesis/condabd/insynth/leon/ReconstructionExpression.scala

...leon/synthesis/condabd/insynth/leon/TypeTransformer.scala

...esis/condabd/insynth/leon/loader/DeclarationFactory.scala

...leon/synthesis/condabd/insynth/leon/loader/LoadSpec.scala

...a/leon/synthesis/condabd/insynth/leon/loader/Loader.scala

...eon/synthesis/condabd/insynth/leon/loader/PreLoader.scala