first batch of unit tests running

build.sbt

src/it/InoxTestSuite.scala

src/it/SolvingTestSuite.scala

src/it/TestSilentReporter.scala

src/it/regression/SimpleQuantifiersSuite.scala

src/it/regression/SimpleSolversSuite.scala

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

src/test/scala/inox/ast/DefinitionTransformerSuite.scala

src/test/scala/inox/ast/ExprOpsSuite.scala

src/test/scala/inox/ast/ExtractorsSuite.scala

src/test/scala/inox/ast/SimplifyLetsSuite.scala

src/test/scala/inox/ast/TreeNormalizationsSuite.scala

src/test/scala/inox/ast/TreeTestsSuite.scala

src/test/scala/inox/ast/TypeOpsSuite.scala

src/test/scala/inox/evaluators/EvaluatorSuite.scala

src/test/scala/inox/solvers/SolverPoolSuite.scala

src/test/scala/inox/unit/solvers/SolverPoolSuite.scala

...st/scala/inox/unit/trees/DefinitionTransformerSuite.scala

src/test/scala/inox/unit/trees/SimplifyLetsSuite.scala

src/test/scala/inox/unit/trees/TreeNormalizationsSuite.scala