Rust

Expose Z3_get_version in the high-level interface #479

Job	Run time
check-formatting	3s
build_on_wasm	26m 39s
build (macos-latest)	26s
build_with_bundled_z3 (linux)	11m 46s
build (ubuntu-latest)	30s
build_with_vcpkg_installed_z3 (linux)	12m 4s
build_with_bundled_z3 (macos)	24m 56s
run_clippy	23s
build_with_vcpkg_installed_z3 (macos)	11m 8s
build_with_bundled_z3 (windows)	15m 4s
build_with_vcpkg_installed_z3 (windows)	11m 45s
	1h 54m 44s

Provide feedback