Avoid re-generating the resource files each time we install

Force graphviz to use more curved edges, and forbid node overlaps

Text-based backends could benefit from String Template: better
maintainability, easier indenting, no mix between code and templates,
etc. This initial commit just puts in place the approach ; everything
has to be done from there.