Clean up the project.

* Get rid of TeX for documentation.
* Get rid of junk files.