[vendor] Bump Coq #1924

Job	Run time
client-compile	16s
build (ubuntu-latest, 4.14.x)	8m 37s
build (ubuntu-latest, 4.13.x)	8m 52s
Nix Flake Check	56s
Nix (ubuntu-latest)	1m 55s
build (ubuntu-latest, 4.12.x)	9m 9s
Nix (macOS-latest)	5m 19s
build (ubuntu-latest, 4.11.x)	8m 40s
build (ubuntu-latest, 5.0.x)	10m 5s
build (ubuntu-latest, 5.1.x)	9m 13s
build (macos-latest, 4.14.x)	29m 30s
build (Windows Latest, 4.14, windows-latest)	15m 12s
	1h 47m 44s

Provide feedback