add missing file to _CoqProject

2 jobs for master in 24 minutes and 31 seconds (queued for 1 second)