Update macOS-based runner images to v13 #498

Job	Run time
collect-github-api-artifacts	5s
create-splash-image	5s
build-linux-dev-hipe	8m 4s
build-linux-user	28m 48s
build-linux-dev-ci	6m 42s
build-linux-dev	12m 17s
build-linux-user-ci	17m 40s
build-macos-arm-dev	14m 16s
build-macos-arm-dev-hipe	13m 5s
build-macos-arm-user	16m 27s
build-macos-dev-hipe	14m 30s
build-macos-dev	16m 0s
build-macos-user	12m 28s
build-windows-dev	10m 44s
build-windows-dev-hipe	9m 53s
build-windows-user	11m 21s
create-release	0s
	3h 12m 25s

Provide feedback