Update docker.md

[MarketingYeti]

copyediting

What does this PR do?

Fixes #put issue number here.

Add any further explanations here.

PR Checklist

• Have you added an explanation of what your changes do and why you'd like to include them?
• Is the TravisCI build passing?
• Was the documentation framework updated to reflect the changes?

Testing Checklist

• Added relevant unit tests?
• Have you successfully tested your changes locally? Elaborate:

  Tested by {Running the Monkey locally with relevant config/running Island/...}

• If applicable, add screenshots or log transcripts of the feature working

Explain Changes

Are the commit messages enough? If not, elaborate.

[codecov]

Codecov Report

Merging #937 (30b4edc) into develop (b191eff) will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff            @@
##           develop     #937   +/-   ##
========================================
  Coverage    18.54%   18.54%           
========================================
  Files          338      338           
  Lines        11483    11483           
========================================
  Hits          2130     2130           
  Misses        9353     9353           

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update b191eff...30b4edc. Read the comment docs.