Remove .dot files after generating graphics

Add --keep-dot-files command line in case users want to preserve dot files.