Merge branch 'more_docker_docs' into 'dev'

More docker docs

See merge request !334
5 jobs for dev in 6 minutes and 15 seconds (queued for 3 seconds)
Status Job ID Name Coverage
  Test Tools
passed #183606
test_tools

00:00:07

 
  Test Quality
passed #183607
web
code_quality

00:00:10

 
  Test Unit
passed #183608
web
test_browser_unit

00:00:11

passed #183609
web
test_server_unit

00:00:20

 
  Test Functional
passed #183610
docker x86_64
test_server_functional

00:05:35