Debian refactor
Created by: renefritze
Refactored lots of stuff into mix-images via multi-stage builds. For example: https://github.com/dune-community/Dockerfiles/compare/debian_refactor?expand=1#diff-445d642ceb41365649bf3c41c5fe7acbR9
Dropped the dailywork_ prefix.