drop support for Coq 8.10

1 job for master in 17 minutes and 51 seconds (queued for 5 seconds)