Merge 'fix dockerfile to add dbhash tool' from Pedro Muniz

This was failing to build on main

Reviewed-by: Mikaël Francoeur (@LeMikaelF)

Closes #4866

Author: jussisaurio

Dockerfile.antithesis

@@ -39,6 +39,7 @@ COPY ./testing/concurrent-simulator ./testing/concurrent-simulator/
 COPY ./testing/differential-oracle ./testing/differential-oracle/
 COPY ./sdk-kit ./sdk-kit/
 COPY ./sdk-kit-macros ./sdk-kit-macros/
+COPY ./tools ./tools/
 RUN cargo chef prepare --bin turso_stress --recipe-path recipe.json
 
 #
@@ -85,6 +86,7 @@ COPY --from=planner /app/testing/concurrent-simulator ./testing/concurrent-simul
 COPY --from=planner /app/testing/differential-oracle ./testing/differential-oracle
 COPY --from=planner /app/sdk-kit ./sdk-kit/
 COPY --from=planner /app/sdk-kit-macros ./sdk-kit-macros/
+COPY --from=planner /app/tools ./tools/
 
 RUN if [ "$antithesis" = "true" ]; then \
         cp /opt/antithesis/libvoidstar.so /usr/lib/libvoidstar.so && \

testing/simulator/simulator-docker-runner/Dockerfile.simulator

@@ -33,6 +33,7 @@ COPY testing/concurrent-simulator ./testing/concurrent-simulator
 COPY testing/differential-oracle ./testing/differential-oracle/
 COPY sdk-kit ./sdk-kit/
 COPY sdk-kit-macros ./sdk-kit-macros/
+COPY tools ./tools/
 RUN cargo chef prepare --bin limbo_sim --recipe-path recipe.json
 
 #
@@ -54,6 +55,7 @@ COPY --from=planner /app/testing/simulator ./testing/simulator/
 COPY --from=planner /app/packages ./packages/
 COPY --from=planner /app/sql_generation ./sql_generation/
 COPY --from=planner /app/testing/differential-oracle ./testing/differential-oracle/
+COPY --from=planner /app/tools ./tools/
 COPY --from=planner /app/Cargo.toml /app/Cargo.lock ./
 
 RUN cargo build --bin limbo_sim --release

testing/sqlancer/sqlancer-runner/Dockerfile.sqlancer

@@ -39,6 +39,7 @@ COPY perf/throughput/rusqlite ./perf/throughput/rusqlite
 COPY perf/throughput/turso ./perf/throughput/turso
 COPY sdk-kit ./sdk-kit/
 COPY sdk-kit-macros ./sdk-kit-macros/
+COPY tools ./tools/
 RUN cargo chef prepare --recipe-path recipe.json
 
 #
@@ -71,6 +72,8 @@ COPY --from=planner /app/perf/throughput/rusqlite ./perf/throughput/rusqlite
 COPY --from=planner /app/perf/throughput/turso ./perf/throughput/turso
 COPY --from=planner /app/sdk-kit ./sdk-kit/
 COPY --from=planner /app/sdk-kit-macros ./sdk-kit-macros/
+COPY --from=planner /app/tools ./tools/
+
 
 # Build native library for Linux x86_64
 WORKDIR /app/bindings/java