Started cleaning up Inox and rewrote Trees,Expressions,Types,Definitions

src/main/scala/inox/GlobalOptions.scala

src/main/scala/inox/LeonComponent.scala

src/main/scala/inox/LeonContext.scala

src/main/scala/inox/LeonExceptions.scala

src/main/scala/inox/LeonOption.scala

src/main/scala/inox/Printable.scala

src/main/scala/inox/Reporter.scala

src/main/scala/inox/evaluators/AbstractEvaluator.scala

src/main/scala/inox/evaluators/AbstractOnlyEvaluator.scala

src/main/scala/inox/evaluators/AngelicEvaluator.scala

src/main/scala/inox/evaluators/CodeGenEvaluator.scala

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

src/main/scala/inox/evaluators/DefaultEvaluator.scala

src/main/scala/inox/evaluators/DualEvaluator.scala

src/main/scala/inox/evaluators/EvaluationPhase.scala

src/main/scala/inox/evaluators/EvaluationResults.scala

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

src/main/scala/inox/evaluators/EvaluatorContexts.scala

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

src/main/scala/inox/evaluators/ScalacEvaluator.scala