CI: test against Coq 8.7.2

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