ci: add clang and libclang-dev to CI image for z3-sys bindgen

z3-sys requires libclang at build time for bindgen to generate FFI
bindings. Without it, the Rust CI jobs fail on the prover crate.

Author: zredlined

deploy/docker/Dockerfile.ci

@@ -23,6 +23,8 @@ RUN apt-get update && apt-get install -y --no-install-recommends \
     curl \
     git \
     build-essential \
+    clang \
+    libclang-dev \
     pkg-config \
     libssl-dev \
     openssh-client \