Add debug section for termination

src/main/scala/leon/Reporter.scala

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

src/main/scala/leon/solvers/z3/FunctionTemplate.scala

src/main/scala/leon/termination/ChainProcessor.scala

src/main/scala/leon/termination/Processor.scala

...t/scala/leon/test/termination/TerminationRegression.scala