Add docs/ directory, and beging to write LaTeX documentation

In theory, I can write the documentation in LaTeX, and include a script that
makes the .pdf file for the user.  Dunno how well this will work, or how much
time it will take.  Probably too much of both.