`dot` is no longer always called in `save` function
`dot` is no longer always called in `save` function

`dot` should only be called when producing a html file with a graph

gsdlab/clafer,juodaspaulius/clafer,juodaspaulius/clafer-old-customBNFC,juodaspaulius/clafer,gsdlab/clafer,juodaspaulius/bclafer_old