Trying to add new benchmarks, and updating the model for memoization little bit

library/lazy/package.scala

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

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

...s/lazy-datastructures/memoization/FibonacciMemoized.scala

testcases/lazy-datastructures/memoization/Knapsack.scala

...ases/lazy-datastructures/memoization/PackratParsing.scala

.../lazy-datastructures/memoization/WeightedScheduling.scala