migrating in Merlin's graph and util
renamed Frenetic_List -> NetCore_Util
added functions from Merlin's util to NetCore_Util
new file, NetCore_Digraph.ml, which is a copy of Merlin's Digraph'
Merge ../frenetic-main