Rename Graph module to LinearScan (still in Graph.v)