flow graph added and the package graphes is renamed as graphs

To Nikita: I noticed that the statements on the program graph edges were
treated as Strings. Perhaps it is better to treat them as Blocks, as we
might need the variables in the Strings when performing analysis. See my
comments in Edge class.