functions.sh: make quieter when using apt-get
functions.sh: remove docker_configuration function, unnecessary