Static `ctypes`; building with `dune` #709

Job	Run time
build-both-and-compare (macos-12, 4.14.x)	13m 4s
package-python (macos-11)	8m 29s
check-version-numbers	9s
build-both-and-compare (macos-11, 4.14.x)	14m 49s
package-python (ubuntu-latest)	8m 28s
build-both-and-compare (ubuntu-latest, 4.14.x)	5m 27s
deploy	0s
	50m 26s

Provide feedback