managing and updating software dependencies

[kohlhase]

The docker container packages a set of software systems that will evolve over time. The problem here is that we envison the docker containers to be relatively long-lived objects, since they contain a lot of configurations.

We have decided that the MathHub Workers only support the software for the "official MathHub surface formats", i.e. the stuff that lmh currently manages. We need an UI interaction that makes this simple for the user. Some of this already exists.

[kohlhase]

@jucovschi @cmaeder fyi