These diagrams are not expected to change much, so just include the generated PNGs in the repository, and remove 'dia' from the prerequisites to build the documentation.
