Document Dockerfile-based build pipeline

As part of the documentathon, here we document the docker build pipeline introduced in !32 (merged).

On a separate commit we fix a bunch of typos.