Docs: remove old LaTeX-only manual

This completes the manual migration to Sphinx by deleting the old manual (leaving the TAO manual alone).

Note that it deletes a number of classic-but-unused images and .tex files that were included with the manual.

src/docs/tex is now empty except for the BibTeX files. (This MR moves doctext up a level.)