add missing file to _CoqProject

2 jobs for master in 24 minutes and 31 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #10454
fp
build-coq.8.6.1

00:22:23

passed #10453
fp-timing
build-coq.8.7.1

00:20:11