Remove LaTeX output files

The docs directory contains a number of files that have been generated by LaTeX, and therefore should not be considered source files. These files have been removed.