test against Coq 8.8.1

8 jobs for master in 29 minutes and 27 seconds