Finished up SolverDataGen

src/main/scala/inox/InoxContext.scala

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/ModelEnumerator.scala

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

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

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

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

src/main/scala/inox/grammars/AllGrammars.scala

src/main/scala/inox/grammars/GrammarsUniverse.scala

src/main/scala/inox/solvers/SimpleSolverAPI.scala

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