Changed the dotty filename to dot (from dotty)

.dot is the new Graphviz/dotty file format. Quick change.