reorder some files for better coqdoc

9 jobs for master in 22 minutes and 41 seconds
Status Job ID Name Coverage
  Build
passed #20437
fp
build-coq.8.7.0

00:02:41

passed #20436
fp
build-coq.8.7.1

00:02:44

passed #20435
fp-timing
build-coq.8.7.2

00:02:38

passed #20434
fp-timing
build-coq.8.8.0

00:02:58

passed #20433
fp
build-coq.8.8.1

00:02:35

passed #20432
fp
build-coq.8.8.2

00:03:06

passed #20431
fp
build-coq.8.9.dev

00:04:13

passed #20447
fp
build-coq.dev

00:15:42

failed #20430
fp
build-coq.dev

00:01:44