Adding some quietness to the Dockerfile to keep the log on Docker Hub manageable.
Doc polishing.
Merge remote-tracking branch 'sumo/master'