Extract dump of various informations into a new file.
Add option to dump the FORCE hypergraph to a DOT file.