See README-docker at the top level of this distribution.
