Merge branch 'lazy_coin' into 'master'

Add the lazy_coin example

See merge request !264
6 jobs for master in 14 minutes and 5 seconds
Status Job ID Name Coverage
  Build
passed #34018
fp
build-coq.8.10.dev

00:12:50

passed #34022
fp
build-coq.8.7.2

00:05:56

passed #34021
fp
build-coq.8.8.2

00:06:18

passed #34020
fp-timing
build-coq.8.9.0

00:05:41

passed #34019
fp
build-coq.8.9.1

00:06:54

passed #34017
fp
build-coq.dev

00:14:05