Make terminating per phase optional

src/main/scala/leon/Pipeline.scala

@@ -8,7 +8,7 @@ abstract class Pipeline[-F, +T] {
   def andThen[G](thenn: Pipeline[T, G]): Pipeline[F, G] = new Pipeline[F,G] {
     def run(ctx : LeonContext)(v : F) : G = {
       val s = self.run(ctx)(v)
-      ctx.reporter.terminateIfError()
+      if(ctx.settings.terminateAfterEachPhase) ctx.reporter.terminateIfError()
       thenn.run(ctx)(s)
     }
   }

src/main/scala/leon/Settings.scala

@@ -6,6 +6,7 @@ import utils.DebugSection
 
 case class Settings(
   val strictCompilation: Boolean       = true, // Terminates Leon in case an error occured during extraction
+  val terminateAfterEachPhase: Boolean = true, // Terminates Leon after each phase if an error occured
   val debugSections: Set[DebugSection] = Set(), // Enables debug message for the following sections
   val termination: Boolean             = false,
   val repair: Boolean                  = false,