Allowing .pdf graphics in the repository now. Also, clearing a lot of old files with .aux and .spl extensions.