Docker images: Ensure crucible-{debug,syntax} is copied over

This fixed an oversight from #1297 in which `crux` gained additional
`crucible-debug` and `crucble-syntax` dependencies, but these dependencies were
not reflected in the `crux-llvm` or `crux-mir` Docker images. Easily fixed.

Towards a fix for #1302.

.github/Dockerfile-crux-llvm

@@ -19,8 +19,10 @@ RUN apt-get update && \
 ARG CRUX_BUILD_DIR=/crux-llvm/build
 RUN mkdir -p ${CRUX_BUILD_DIR}
 ADD crucible ${CRUX_BUILD_DIR}/crucible
+ADD crucible-debug ${CRUX_BUILD_DIR}/crucible-debug
 ADD crucible-llvm ${CRUX_BUILD_DIR}/crucible-llvm
 ADD crucible-symio ${CRUX_BUILD_DIR}/crucible-symio
+ADD crucible-syntax ${CRUX_BUILD_DIR}/crucible-syntax
 ADD crux ${CRUX_BUILD_DIR}/crux
 ADD crux-llvm ${CRUX_BUILD_DIR}/crux-llvm
 ADD dependencies ${CRUX_BUILD_DIR}/dependencies

.github/Dockerfile-crux-mir

@@ -19,6 +19,7 @@ RUN apt-get update && \
 RUN mkdir -p ${CRUX_BUILD_DIR}
 ADD crucible ${CRUX_BUILD_DIR}/crucible
 ADD crucible-concurrency ${CRUX_BUILD_DIR}/crucible-concurrency
+ADD crucible-debug ${CRUX_BUILD_DIR}/crucible-debug
 ADD crucible-mir ${CRUX_BUILD_DIR}/crucible-mir
 ADD crucible-syntax ${CRUX_BUILD_DIR}/crucible-syntax
 ADD crux ${CRUX_BUILD_DIR}/crux

.github/cabal.project.crux-llvm

@@ -1,7 +1,9 @@
 packages:
   crucible/
+  crucible-debug/
   crucible-llvm/
   crucible-symio/
+  crucible-syntax/
   crux/
   crux-llvm/
 

.github/cabal.project.crux-mir

@@ -1,6 +1,7 @@
 packages:
   crucible/
   crucible-concurrency/
+  crucible-debug/
   crucible-mir/
   crucible-syntax/
   crux/