Rust

Expose Z3_get_version in the high-level interface #478

Job	Run time
check-formatting	3s
build_with_bundled_z3 (linux)	11m 42s
build (macos-latest)	32s
build_with_bundled_z3 (macos)	9m 53s
build_on_wasm	25m 47s
build (ubuntu-latest)	31s
build_with_vcpkg_installed_z3 (linux)	1m 58s
build_with_bundled_z3 (windows)	15m 31s
build_with_vcpkg_installed_z3 (macos)	1m 39s
build_with_vcpkg_installed_z3 (windows)	1m 32s
run_clippy	22s
	1h 9m 30s

Provide feedback