Merge pull request #1277 from GaloisInc/T1276-fix-crux-mir-Docker-entrypoint

Fix `crux-mir` Docker image entrypoint

Author: RyanGlScott

.github/Dockerfile-crux-mir

@@ -92,4 +92,4 @@ ENV LANG=C.UTF-8 \
     PATH=/home/crux-mir/.cargo/bin:$PATH \
     CRUX_RUST_LIBRARY_PATH=/crux-mir/rlibs
 
-ENTRYPOINT ["/usr/local/bin/cargo", "crux-test"]
+ENTRYPOINT ["/home/crux-mir/.cargo/bin/cargo", "crux-test"]