Rust

Add high-level binding for quantifier creation with additional attributes #560

Job	Run time
build (macos-latest)	38s
build_on_wasm	1m 0s
build (ubuntu-latest)	29s
build_with_vcpkg_installed_z3 (linux)	1m 12s
build_with_bundled_z3 (linux)	16m 21s
build_with_vcpkg_installed_z3 (macos)	15m 48s
build_with_bundled_z3 (macos)	13m 13s
check-formatting	5s
build_with_vcpkg_installed_z3 (windows)	5m 22s
build_with_bundled_z3 (windows)	18m 0s
run_clippy	27s
	1h 12m 35s

Provide feedback