final-thesis.pdf did not have graphviz diagrams

Replace call to dot file generation with import of PNG images.