Reorganized options and added a simple main to Inox

src/main/scala/inox/Context.scala

src/main/scala/inox/Main.scala

src/main/scala/inox/Options.scala

src/main/scala/inox/ast/Printers.scala

src/main/scala/inox/evaluators/ContextualEvaluator.scala

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

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

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

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

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

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

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