Update for encoding solvers and evaluators

src/main/scala/inox/Options.scala

src/main/scala/inox/ast/CallGraph.scala

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

src/main/scala/inox/ast/Identifier.scala

src/main/scala/inox/ast/ProgramEncoder.scala

src/main/scala/inox/evaluators/ContextualEvaluator.scala

src/main/scala/inox/evaluators/EncodingEvaluator.scala

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

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

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

src/main/scala/inox/solvers/combinators/EncodingSolver.scala

...cala/inox/solvers/combinators/EncodingSolverFactory.scala

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

src/main/scala/inox/transformers/Collector.scala