reorder some files for better coqdoc

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

00:02:41

passed build-coq.8.7.1 #20436
fp

00:02:44

passed build-coq.8.7.2 #20435
fp-timing

00:02:38

passed build-coq.8.8.0 #20434
fp-timing

00:02:58

passed build-coq.8.8.1 #20433
fp

00:02:35

passed build-coq.8.8.2 #20432
fp

00:03:06

passed build-coq.8.9.dev #20431
fp

00:04:13

passed build-coq.dev #20447
fp

00:15:42

failed build-coq.dev #20430
fp

00:01:44