Add the lazy_coin example
We replace the coin flip example in theories/heap_lang/coin_flip.v
with the lazy coin example theories/heap_lang/lazy_coin.v
.
We replace the coin flip example in theories/heap_lang/coin_flip.v
with the lazy coin example theories/heap_lang/lazy_coin.v
.