Minor renamings.

src/main/scala/leon/LeonContext.scala

src/main/scala/leon/Main.scala

src/main/scala/leon/datagen/DataGenerator.scala

src/main/scala/leon/plugin/ScalaCompiler.scala

src/main/scala/leon/solvers/SimpleSolverAPI.scala

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

...scala/leon/solvers/combinators/TimeoutSolverFactory.scala

src/main/scala/leon/solvers/z3/AbstractZ3Solver.scala

src/main/scala/leon/solvers/z3/FairZ3Component.scala

src/main/scala/leon/synthesis/SimpleSearch.scala

src/main/scala/leon/synthesis/Synthesizer.scala

src/main/scala/leon/synthesis/TaskRunRule.scala

src/main/scala/leon/synthesis/TaskTryRules.scala

...cala/leon/synthesis/search/AndOrGraphParallelSearch.scala

src/main/scala/leon/synthesis/utils/Benchmarks.scala

src/main/scala/leon/utils/InterruptManager.scala

src/main/scala/leon/utils/Interruptible.scala

src/main/scala/leon/utils/Timer.scala

src/test/scala/leon/test/solvers/TimeoutSolverTests.scala