Restore --watch option

src/main/scala/leon/SharedOptions.scala

@@ -63,6 +63,7 @@ object SharedOptions extends LeonComponent {
     optFunctions,
     optSelectedSolvers,
     optDebug,
+    optWatch,
     optTimeout
   )
 }