Add image to 'top_level_design.md'.

Also give several .dot files more fitting names.