Make dockerfile docs easier to find. Clean up formatting.

"Dockerfile" didn't appear in the document Table of Contents, so this links the idea of `Dockerfile` and `Builder` and also makes it clear that `docker` is the builder, not some other software.

Generally cleaned up the formatting, made long lines wrap at a decent column, etc.