Renamed util.ml to Topology_util.ml
Merge pull request #2 from robertsoule/master

Renamed util.ml to Topology_util.ml