Migrate to go1.20 coverage redesign #7610

Job	Run time
Get the latest prelude hash	3s
build (ubuntu-22.04, aarch64-unknown-linux-gnu, true)	10m 59s
build (ubuntu-22.04, aarch64-unknown-linux-musl, true)	10m 35s
build (ubuntu-22.04, x86_64-unknown-linux-gnu)	9m 50s
build (ubuntu-22.04, x86_64-unknown-linux-musl, true)	10m 19s
build (macos-13, aarch64-apple-darwin, true)	19m 44s
build (macos-13, x86_64-apple-darwin)	19m 14s
build (windows-2022, x86_64-pc-windows-msvc, true)	18m 31s
Release `latest` tag	24s
Check if there's a release for this half of the month already	1s
Publish buck2.build	2m 23s
Release bi-monthly tag	0s
	1h 42m 3s

Provide feedback