Backend DOT graph generation: Removing debugging reporting of 'cost' in attack graphs.

This was confusing to casual users.
Cleanup: Cleanup of some spacing, conform coding conventions.

This is simply the result from running reindent.sh again.
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.