Build with Coq 8.10 as well

4 jobs for master in 7 minutes and 19 seconds (queued for 1 second)