SolverFactory from name, better options

src/main/scala/inox/InoxContext.scala

src/main/scala/inox/InoxOptions.scala

src/main/scala/inox/evaluators/Evaluator.scala

src/main/scala/inox/evaluators/RecursiveEvaluator.scala

src/main/scala/inox/evaluators/SolvingEvaluator.scala

src/main/scala/inox/solvers/Solver.scala

src/main/scala/inox/solvers/SolverFactory.scala

...ala/inox/solvers/combinators/PortfolioSolverFactory.scala

src/main/scala/inox/solvers/smtlib/CVC4Solver.scala

src/main/scala/inox/solvers/smtlib/Z3Solver.scala

src/main/scala/inox/solvers/theories/package.scala

src/main/scala/inox/solvers/unrolling/UnrollingSolver.scala

src/main/scala/inox/solvers/z3/NativeZ3Solver.scala

src/main/scala/inox/solvers/z3/UninterpretedZ3Solver.scala