Native z3 solvers finished

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

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

src/main/scala/inox/solvers/ADTManager.scala

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

src/main/scala/inox/solvers/CantResetException.scala

src/main/scala/inox/solvers/Model.scala

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

src/main/scala/inox/solvers/SolverResponses.scala

src/main/scala/inox/solvers/theories/TheoryEncoder.scala

...main/scala/inox/solvers/unrolling/DatatypeTemplates.scala

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

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

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

src/main/scala/inox/solvers/z3/AbstractZ3Solver.scala

src/main/scala/inox/solvers/z3/FairZ3Solver.scala

src/main/scala/inox/solvers/z3/NativeZ3Solver.scala

src/main/scala/inox/solvers/z3/UninterpretedZ3Solver.scala

src/main/scala/inox/solvers/z3/Z3ModelReconstruction.scala

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

src/main/scala/inox/utils/IncrementalStateWrapper.scala