Commit 3c59d451ea1b9bb15d0f363569bdc3cd933866b1

Patrick Steinhardt 2019-08-02T12:34:10

docker: use "--no-install-recommends" to reduce build time Pass the flag "--no-install-recommends" to apt-get in order to trim down the number of packages installed, both reducing build time and image size. As this also causes some required packages to not be installed anymore, add these explicitly to the set of packages installed.