docker: provide command line to reproduce build
i.e. provide a command line that runs the exact same build again; provide all the parameters explicitly (i.e. "expand" the defaults) so that the command line, which will be shared between people when communicating build failures, makes it evident what are the build parameters.
Edited by Antonio Terceiro