SharedOptions -> GlobalOptions

src/main/scala/leon/GlobalOptions.scala

src/main/scala/leon/LeonContext.scala

src/main/scala/leon/Main.scala

src/main/scala/leon/Pipeline.scala

src/main/scala/leon/evaluators/EvaluationPhase.scala

src/main/scala/leon/frontends/scalac/CodeExtraction.scala

src/main/scala/leon/invariant/engine/InferenceContext.scala

src/main/scala/leon/laziness/LazinessEliminationPhase.scala

src/main/scala/leon/purescala/PrinterOptions.scala

src/main/scala/leon/repair/RepairPhase.scala

src/main/scala/leon/repair/Repairman.scala

src/main/scala/leon/solvers/SolverFactory.scala

...main/scala/leon/solvers/combinators/UnrollingSolver.scala

src/main/scala/leon/solvers/isabelle/AdaptationPhase.scala

...ain/scala/leon/solvers/isabelle/IsabelleEnvironment.scala

src/main/scala/leon/synthesis/SourceInfo.scala

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

src/main/scala/leon/termination/TerminationPhase.scala

src/main/scala/leon/verification/VerificationPhase.scala

src/test/scala/leon/regression/repair/RepairSuite.scala