Started work on the solvers

src/main/scala/inox/InoxContext.scala

src/main/scala/inox/InoxOptions.scala

src/main/scala/inox/Printable.scala

src/main/scala/inox/Program.scala

src/main/scala/inox/Reporter.scala

src/main/scala/inox/ast/Definitions.scala

src/main/scala/inox/ast/GenTreeOps.scala

src/main/scala/inox/ast/Paths.scala

src/main/scala/inox/ast/PrinterOptions.scala

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

src/main/scala/inox/ast/SymbolOps.scala

src/main/scala/inox/ast/Trees.scala

src/main/scala/inox/ast/Types.scala

src/main/scala/inox/evaluators/EvaluationResults.scala

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

src/main/scala/inox/evaluators/SolvingEvalInterface.scala

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

src/main/scala/inox/package.scala

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

src/main/scala/inox/utils/ASCIIHelpers.scala