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.