Revised docker setup workflow.

2 jobs for support/revise_docker_installer in 49 seconds (queued for 1 second)