now we output DOT file enriched with clusters
jsut some minor changes
eliminated spurious dependency on Ocamlgraph library + some work for conditional compilation
now Makefile supports conditional compilation (by preprocessing with camlp4)
modified a few scripts to work with the new invocation syntax