Arvados

Now that arvbox is the tool for demoing and developers, the docker/ tree could become images suitable for production. They could be what you get when you follow the install guide: everything installed from packages, etc. We could document that, e.g., figuring out networking is on you, because only you know your deployment environment.

Branch 8232-docker-remove-obsolete

test 4a466cd2caf121678a1d46d049c5b1e5477b6d50

I saw the changes and there is a lot there that will be removed. :-) LGTM

shall we remove the docker images (all besides) in hub.docker.com to avoid confusion too?

That's probably a good idea. We don't want to publish anything we don't maintain.