Make clear that repair uses synthesis options

doc/options.rst

@@ -197,6 +197,8 @@ Code extraction
 Synthesis
 *********
 
+These options are also used by repair during the synthesis stage.
+
 * ``--cegis:opttimeout``
 
   Consider a time-out of CE-search as untrusted solution.

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

@@ -13,7 +13,7 @@ import graph._
 
 object SynthesisPhase extends LeonPhase[Program, Program] {
   val name        = "Synthesis"
-  val description = "Partial synthesis of \"choose\" constructs"
+  val description = "Partial synthesis of \"choose\" constructs. Also used by repair during the synthesis stage."
 
   val optManual      = LeonStringOptionDef("manual", "Manual search", default = "", "cmd")
   val optCostModel   = LeonStringOptionDef("costmodel", "Use a specific cost model for this search", "FIXME", "cm")