CI: test against coq 8.6.1

1 job for ci/ralf/8.6.1 in 25 minutes and 11 seconds (queued for 5 minutes and 37 seconds)