thesis: Add generated PDFs for diagrams

Dia and eps2pdf does not work properly with SVG files generated
from Microsoft Visio, thus I'm adding the PDF files in the tree as
well.