Rust

ci: Enable vcpkg build on macOS and Linux #431

Job	Run time
build	55s
build_on_wasm	41m 45s
build_z3_statically (linux)	26m 17s
build_with_vcpkg_installed_z3 (linux)	43m 59s
build_z3_statically (macos)	14m 30s
build_with_vcpkg_installed_z3 (macos)	3m 15s
check-formatting	9s
build_z3_statically (windows)	30m 36s
run_clippy	1m 13s
build_with_vcpkg_installed_z3 (windows)	10m 8s
	2h 52m 47s

Provide feedback