allow dev version of coq

1 job for master in 13 minutes and 28 seconds (queued for 7 seconds)