Add Docker documentation

This commit adds a new page on Docker workers, and adds notes to
various places where use of `sudo` is suggested.

A new CSS class is introduced to draw attention to 'sudo' issue,
but that is, of course, subject to change.