test against Coq 8.8.0

5 jobs for master in 25 minutes and 54 seconds (queued for 1 second)