Rust

ci: Update vcpkg and install-llvm actions #486

Job	Run time
check-formatting	8s
build_on_wasm	9m 39s
build (macos-latest)	27s
build_with_bundled_z3 (linux)	11m 48s
build (ubuntu-latest)	31s
build_with_bundled_z3 (macos)	25m 19s
build_with_bundled_z3 (windows)	16m 20s
run_clippy	27s
build_with_vcpkg_installed_z3 (linux)	1m 16s
build_with_vcpkg_installed_z3 (macos)	1m 5s
build_with_vcpkg_installed_z3 (windows)	3m 34s
	1h 10m 34s

Provide feedback