Update Coq flags in _CoqProject.
Passed
Robbert Krebbers
created pipeline for commit
d5989fe9
, finished
For master
21 minutes 48 seconds, queued for 6 seconds