Rust

z3-sys: Improve markdown formatting. #484

Job	Run time
build (macos-latest)	28s
build_on_wasm	9m 56s
build (ubuntu-latest)	1m 2s
build_with_vcpkg_installed_z3 (linux)	23m 22s
build_with_bundled_z3 (linux)	12m 0s
build_with_vcpkg_installed_z3 (macos)	10m 36s
build_with_bundled_z3 (macos)	9m 58s
build_with_vcpkg_installed_z3 (windows)	31m 58s
check-formatting	7s
build_with_bundled_z3 (windows)	14m 39s
run_clippy	27s
	1h 54m 33s

Provide feedback