drop support for Coq 8.10

1 job for master in 16 minutes and 24 seconds (queued for 6 seconds)