Add the start of a user guide.

(The doc/ directory is designed to be built with jekyll, but one can
view the .html directly pretty effectively.)