Added first integration tests, repaired some bugs

build.sbt

src/it/scala/inox/InoxTestSuite.scala

src/it/scala/inox/TestSilentReporter.scala

src/it/scala/inox/solvers/SolvingTestSuite.scala

.../inox/solvers/unrolling/AssociativeQuantifiersSuite.scala

...cala/inox/solvers/unrolling/InductiveUnrollingSuite.scala

...t/scala/inox/solvers/unrolling/SimpleUnrollingSuite.scala

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

src/main/scala/inox/ast/TypeOps.scala

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

src/main/scala/inox/solvers/ADTManagers.scala

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

...scala/inox/solvers/combinators/TimeoutSolverFactory.scala

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

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

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

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

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

...cala/inox/solvers/unrolling/QuantificationTemplates.scala

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