Progress on inox trees

src/main/scala/inox/GlobalOptions.scala

src/main/scala/inox/InoxContext.scala

src/main/scala/inox/InoxOptions.scala

src/main/scala/inox/LeonComponent.scala

src/main/scala/inox/LeonExceptions.scala

src/main/scala/inox/Printable.scala

src/main/scala/inox/Program.scala

src/main/scala/inox/Reporter.scala

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

src/main/scala/inox/ast/Constructors.scala

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

src/main/scala/inox/ast/ExprOps.scala

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

src/main/scala/inox/ast/Extractors.scala

src/main/scala/inox/ast/GenTreeOps.scala

src/main/scala/inox/ast/Paths.scala

src/main/scala/inox/ast/PrinterOptions.scala

src/main/scala/inox/ast/Printers.scala

src/main/scala/inox/ast/SymbolOps.scala

src/main/scala/inox/ast/TreeOps.scala