Supporting resource verification of lazy programs

...n/scala/leon/invariant/util/LetTupleSimplifications.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/LazyInstrumenter.scala

...main/scala/leon/solvers/templates/TemplateGenerator.scala

...ala/leon/transformations/SerialInstrumentationPhase.scala

...cases/lazy-datastructures/RealTimeQueue-transformed.scala

testcases/lazy-datastructures/RealTimeQueue.scala