Use Coq 8.10.1 for CI

Merged Robbert Krebbers requested to merge robbert/coq8.10.1 into master

CC @jung

Merge request reports