Documentation cleanup

Mostly cleaning up LaTeX files, tweaking layout, vectorizing images, etc.