Working on integration tests for solvers

build.sbt

src/it/scala/inox/InoxTestSuite.scala

src/it/scala/inox/SolvingTestSuite.scala

src/it/scala/inox/TestSilentReporter.scala

src/it/scala/inox/regression/SimpleQuantifiersSuite.scala

src/it/scala/inox/regression/SimpleSolversSuite.scala

src/main/scala/inox/ast/CallGraph.scala

src/main/scala/inox/ast/DSL.scala

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

src/main/scala/inox/ast/Expressions.scala

src/main/scala/inox/ast/Extractors.scala

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

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

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

src/main/scala/inox/ast/TreeOps.scala

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

src/main/scala/inox/datagen/SolverDataGen.scala

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

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

src/main/scala/inox/package.scala