testing/coq: upgrade to 8.13.2

- Emacs modes removed since upstream 41d597866d
- target all archs but mips*

fixes #10889
8 jobs for !18234 with upgrade-coq in 42 minutes and 16 seconds (queued for 2 seconds)
detached
Status Job ID Name Coverage
  Lint
passed #370696
docker-alpine x86_64
lint

00:00:20

 
  Build
passed #370701
docker-alpine ci-build aarch64
build-aarch64

00:07:36

passed #370702
docker-alpine ci-build armv7
build-armv7

00:08:23

passed #370700
docker-alpine ci-build ppc64le
build-ppc64le

00:08:37

passed #371147
docker-alpine s390x ci-build
build-s390x

00:33:18

passed #370698
docker-alpine ci-build x86
build-x86

00:03:50

passed #370697
docker-alpine ci-build x86_64
build-x86_64

00:03:27

failed #370699
docker-alpine ci-build s390x
build-s390x

00:14:11