Docker documentation, finalized.

This is the pull request I meant to submit the other day.