Rust

Expose Z3_get_version in the high-level interface #477

Job	Run time
check-formatting	1m 8s
build (macos-latest)	28s
build_on_wasm	25m 55s
build_with_bundled_z3 (linux)	12m 3s
build (ubuntu-latest)	29s
build_with_vcpkg_installed_z3 (linux)	11m 28s
build_with_bundled_z3 (macos)	10m 21s
build_with_vcpkg_installed_z3 (macos)	11m 6s
build_with_bundled_z3 (windows)	15m 48s
run_clippy	27s
build_with_vcpkg_installed_z3 (windows)	11m 10s
	1h 40m 23s

Provide feedback