Merge remote-tracking branch 'remotes/upstream/master'

Conflicts:
	utils/docker/Dockerfile

diff --cc utils/docker/entrypoint.sh
index 4349efd,0000000..c67e276
mode 100755,000000..100644
--- 1/utils/docker/entrypoint.sh
--- /dev/null
+++ b/utils/docker/entrypoint.sh
@@@ -1,12 -1,0 +1,12 @@@
- exec /containernet/util/docker/entrypoint.sh $*
 +#! /bin/bash -e
 +set -x
 +
 +#cp /containernet/util/docker/entrypoint.sh /tmp/x.sh
 +#cat /tmp/x.sh | awk 'NR==1{print; print "set -x"} NR!=1' > /conteinernet/util/docker/entrypoint.sh
 +
 +# this cannot be done from the Dockerfile since we have the socket not mounted during build
 +# this image is needed for the monitoring in son-emu
 +#echo 'Pulling the "google/cadvisor" image ... please wait'
 +#docker pull 'google/cadvisor'
 +
++exec /containernet/util/docker/entrypoint.sh $*