Bump menhir. #11860

Job	Run time
build_details	3s
build_js	2m 55s
build_opam (4.14.x)	9m 22s
build_opam (5.2.x)	5m 15s
build_win32 (x64)	18m 12s
build_no_depopts	6m 24s
lezer_parse	48s
build_posix (debian_trixie, amd64)	15m 29s
run_tests (@citest)	13m 7s
update_doc	10m 54s
build_posix (debian_trixie, arm64)	13m 23s
run_tests (@doctest)	8m 34s
tree_sitter_parse	50s
build_posix (debian_bookworm, amd64)	14m 4s
run_tests (@mediatest)	12m 21s
build_posix (debian_bookworm, arm64)	12m 42s
build_posix (ubuntu_oracular, amd64)	14m 0s
build_posix (ubuntu_oracular, arm64)	12m 21s
build_posix (ubuntu_noble, amd64)	13m 37s
build_posix (ubuntu_noble, arm64)	12m 14s
build_posix (alpine, amd64)	10m 11s
build_posix (alpine, arm64)	8m 19s
fetch_s3_artifacts	22s
build_docker (amd64)	2m 2s
build_docker_alpine (amd64)	1m 5s
build_docker_alpine_minimal (amd64)	1m 25s
build_docker (arm64)	1m 50s
build_docker_minimal (amd64)	2m 15s
build_docker_alpine (arm64)	49s
build_docker_alpine_minimal (arm64)	46s
build_docker_minimal (arm64)	2m 1s
update_release	0s
build_docker_release	0s
build_docker_release-minimal	0s
	3h 47m 40s

Provide feedback