drop support for Coq 8.10

1 job for master in 15 minutes and 9 seconds (queued for 4 seconds)