test Coq 8.11.2 instead of 8.11.0

1 job for master in 18 minutes and 45 seconds (queued for 5 seconds)