Merge pull request #4181 from FStarLang/copilot/add-missing-packages-devcontainer

Add domainslib to devcontainer opam packages

Author: gebner

.devcontainer/minimal.Dockerfile

@@ -47,6 +47,7 @@ RUN opam option depext-run-installs=true
 ENV OPAMYES=1
 COPY ./fstar.opam .
 RUN opam install --deps-only . && rm fstar.opam
+RUN opam install domainslib
 
 # Install Z3
 COPY ./.scripts/get_fstar_z3.sh /usr/local/bin