also build against Coq 8.6

2 jobs for opam-ci in 43 minutes and 25 seconds (queued for 22 minutes and 29 seconds)