clean up Dockerfile

Author: hflsmax

systems/lexa/Dockerfile

@@ -6,11 +6,8 @@ RUN curl -o lexa-oopsla25.tar.gz -sL https://github.com/lexa-lang/lexa/archive/r
 RUN tar xvf lexa-oopsla25.tar.gz
 WORKDIR ./lexa-OOPSLA25
 
-RUN nix --extra-experimental-features "nix-command flakes" build --accept-flake-config --no-link .#clang_18_preserve_none --cores 16
-RUN nix --extra-experimental-features "nix-command flakes" build --accept-flake-config --no-link nixpkgs#texliveSmall --cores 16
-RUN nix --extra-experimental-features "nix-command flakes" build --accept-flake-config --no-link .#effect_latest --cores 16
-RUN nix --extra-experimental-features "nix-command flakes" develop -j8 --cores 2
-RUN nix --extra-experimental-features "nix-command flakes" develop --command bash -c "opam init --disable-sandboxing && eval $(opam env) && opam switch create -y 5.3.0 && opam install -y multicont"
+RUN nix --extra-experimental-features "nix-command flakes" build --accept-flake-config --no-link .#clang_18_preserve_none
+RUN nix --extra-experimental-features "nix-command flakes" develop
 RUN nix-env -iA nixpkgs.util-linux nixpkgs.time
 
 RUN echo -e '#!/usr/bin/env bash\n\