Since RT-PROOFS/rt-proofs!104 (merged) Coq 8.10 is no longer supported, updating the OPAM file accordingly.