[scripts] Add helper script to convert DIMACS to Dot format.
[misc] Add more infrastructure to flow graphs and exporter.