Added .png versions of state diagrams.