Remove unused commits mostly

src/main/scala/leon/laziness/ClosurePreAsserter.scala

src/main/scala/leon/laziness/FreeVariableFactory.scala

src/main/scala/leon/laziness/LazinessEliminationPhase.scala

src/main/scala/leon/laziness/LazinessUtil.scala

src/main/scala/leon/laziness/LazyClosureConverter.scala

src/main/scala/leon/laziness/LazyClosureFactory.scala

src/main/scala/leon/laziness/LazyExpressionLifter.scala

src/main/scala/leon/laziness/LazyFunctionsManager.scala

src/main/scala/leon/laziness/LazyInstrumenter.scala

src/main/scala/leon/laziness/LazyVerificationPhase.scala

src/main/scala/leon/laziness/TypeChecker.scala

src/main/scala/leon/laziness/TypeRectifier.scala