Documented docker setup

3 jobs for master in 1 minute and 58 seconds (queued for 5 seconds)