Backend DOT graph generation: Removing redundant ';' which seems to confuse more recent versions of Graphviz (>2.26)
Misc: Added Python script to dump attack outputs for large sets of files.

For now, some parameters are hardcoded.

In the long term this functionality should be incorporated into the Scyther library directly, as
a method of Claim objects.