smaller docker image

[jstucke]

we could split the installation into a build and installation stage and do a multi-stage docker build where we remove all build-time dependencies (compilers, dev packages, source code, etc.) from the final image