Size of the docker container

[sjunges]

In our dockerfile, we currently use multiple layers with multiple compile commands. This generally leads to big docker containers. An open question is whether we can make these docker containers smaller.