drop support for Coq 8.10

1 job for master in 18 minutes and 34 seconds (queued for 7 seconds)