Docker improvements

This patch set implements a set of mandatory docker related improvements allowing to better handle the docker infrastructure as used on the platform.