CI: Build dx using Coq 8.13

2 jobs for coq-8.13 in 8 minutes and 7 seconds (queued for 2 seconds)