Updated project and added solver memory freeing

src/main/scala/leon/purescala/Definitions.scala

src/main/scala/leon/termination/ChainBuilder.scala

src/main/scala/leon/termination/ChainComparator.scala

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

src/main/scala/leon/termination/ComponentProcessor.scala

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

src/main/scala/leon/termination/RelationBuilder.scala

src/main/scala/leon/termination/RelationComparator.scala

src/main/scala/leon/termination/RelationProcessor.scala

src/main/scala/leon/termination/StructuralSize.scala

...egression/termination/looping/Termination_failling1.scala

...esources/regression/termination/valid/ComplexChains.scala

...resources/regression/termination/valid/ListWithSize.scala

...esources/regression/termination/valid/SimpInterpret.scala

...s/regression/termination/valid/Termination_passing1.scala

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