Added the tool genGraph, to create .dot graph files (random ones or not, depending on the graph type).