Updated docker documentation. (#2313)

11 jobs for master in 23 minutes and 51 seconds (queued for 3 minutes and 33 seconds)