Decoupling of trees and tree operations

src/main/scala/leon/Z3ModelReconstruction.scala

src/main/scala/leon/isabelle/Main.scala

src/main/scala/leon/purescala/TreeOps.scala

src/main/scala/leon/purescala/Trees.scala

src/main/scala/leon/testgen/TestGeneration.scala