Merge branch 'ralf/drop-old-coq' into 'master'

drop Coq 8.7 and add 8.10

Closes #242

See merge request !320
6 jobs for master in 15 minutes and 37 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build
passed #46094
fp
build-coq.8.10.0

00:14:15

passed #46093
fp
build-coq.8.10.1

00:14:19

passed #46097
fp
build-coq.8.8.2

00:06:26

passed #46096
fp-timing
build-coq.8.9.0

00:05:57

passed #46095
fp
build-coq.8.9.1

00:07:15

passed #46092
fp
build-coq.dev

00:15:36