Separate dev and production dependencies in docker image

[darenkeck-dev]

Set up separate image build targets in the DockerFile to keep dev dependencies out of the production build.

[AntoineGautier]

Keep open. I can't directly identify which dependencies are only needed for development but server/Dockerfile certainly needs to be cleaned up, e.g.:

• # Installs Pandoc, TexLive, and make4ht on a Ubuntu Linux distribution: pandoc is no longer used. The generation of the SOO rather relies on https://python-docx.readthedocs.io/en/latest/. The file server/README.md also needs to be updated as all mentions of LaTeX and Pandoc seem obsolete.
• # This fails to run on amd64, must be arm64 platform???
• # FROM alpine-node-modelica as ubuntu-pandoc-node-modelica
• # COPY --from=alpine-node-modelica /dependencies /dependencies