Use gettimeofday. #11677

Job	Run time
build_details	4s
build_js	2m 17s
build_opam (4.14.x)	8m 52s
build_opam (5.2.x)	7m 27s
build_no_depopts	5m 58s
lezer_parse	52s
build_posix (debian_trixie, amd64)	14m 8s
build_win32 (x64)	11m 35s
build_posix (debian_bookworm, amd64)	15m 3s
build_posix (ubuntu_oracular, amd64)	14m 58s
tree_sitter_parse	50s
run_tests (@citest)	12m 54s
build_posix (ubuntu_noble, amd64)	14m 19s
update_doc	9m 0s
build_posix (alpine, amd64)	12m 44s
run_tests (@doctest)	8m 19s
run_tests (@mediatest)	8m 5s
fetch_s3_artifacts	1s
build_docker	1s
build_docker_minimal	1s
build_docker_alpine_minimal	1s
build_docker_alpine	1s
build_docker_release-minimal	1s
update_release	1s
build_docker_release	1s
	2h 27m 33s

Provide feedback