Docker Images for CRUX