Changes before the submission - DataGen, benchmarks, timeout checking

src/main/scala/lesynth/ExampleRunner.scala

src/main/scala/lesynth/InputExamples.scala

src/main/scala/lesynth/SynthesizerExamples.scala

.../lesynth/rules/ConditionAbductionSynthesisImmediate.scala

...a/lesynth/rules/ConditionAbductionSynthesisTwoPhase.scala