also build against Coq 8.6

2 jobs for opam-ci in 43 minutes and 25 seconds (queued for 22 minutes and 29 seconds)
Status Name Job ID Coverage
  Test
passed gps-coq8.5.3 #1949

00:22:00

passed gps-coq8.6 #1950
coq

00:21:24