Files in build/docker/ of trunk

Files in directory build/docker from the latest check-in of branch trunk