add very fragmentary Users' Manual
empty dist-dir
makefile edits
Don't push the dist/ files to git
Merge changes from GitHub into local working copy
submodule update
Don't need to share these either
ignore dump files that the build litters everywhere
doc build fixes