Merge branch 'do_level' into 'master'

Add monadic `;;` and change level of the do-notation to 100

See merge request robbertkrebbers/coq-stdpp!10
5 jobs for master in 4 minutes and 6 seconds
Status Job ID Name Coverage
  Build
passed #4479
fp-timing
build-coq.8.6

00:01:50

passed #4478
fp-timing
build-coq.8.6.1

00:01:50

passed #4477
fp-timing
build-coq.8.7

00:01:44

passed #4476
fp-timing
build-coq.8.7.dev

00:02:00

 
  Deploy
passed #4480
opam

00:00:14