Working on datagen

src/main/scala/inox/Program.scala

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

src/main/scala/inox/datagen/DataGenerator.scala

src/main/scala/inox/datagen/GrammarDataGen.scala

src/main/scala/inox/datagen/ModelEnumerator.scala

src/main/scala/inox/datagen/NaiveDataGen.scala

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

src/main/scala/inox/datagen/VanuatooDataGen.scala

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

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

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

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

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