Change URL paths for docs

Have a separate dir for html within docs, as is required by the
process that copies the generated html because anything not generated
is removed.  And put the pdf documents in the doc directory.

Produce both A4 and US-Letter pdfs

Add support for different pdf paper size output

Make pdf generation work

Keep sphinx venv under revision control

Improve comments

Display page generation time in UTC

Separate target dirs for local and non-local html

Since local html now uses a html builder but non-local html uses
dirhtml, sharing a target directory results is "extra stuff"
leftover from the other kind of build.  We don't want that.

Better comment

No need for recursive expansion as source files are not dynamic

Better comment

Better variable names and comments

Get rid of extra variable

Better comments

Move generated RST epilog files into doc/sphinx-doc/.

Build system for text docs -- images not yet supported