Extra tools

Scripts to manipulate files generated by Ticktac project tools.

• dot2dot is a tool to add/update attributes on nodes, edges and graphs represented in the DOT/graphviz file format.
• benchtools is a set of tools to run benchmarks and build LaTeX tables from the statistics output by TChecker tools