Please merge this PR now.

@samuelgruetter can you update the tested branch too? (it's used by the dev package in opam, which is used by Coq's bench system)

@samuelgruetter can you update the tested branch too? (it's used by the dev package in opam, which is used by Coq's bench system)

Done!

(Updating the tested branch is supposed to happen automatically if CI on the master branch succeeds, but it didn't, because ppa:jgross-h/coq-master-daily hasn't been updated yet to work with the new stdlib, so I changed coqutil CI to use coq-community/docker-coq-action@v1 instead, so it succeeds again, and the tested branch got updated automatically).