[girv-client/layout] Added wall timing of the layout process.
[girv-client] Removed isControlFlowEdge() from graph data structures.
[girv-client/frontend] Internal changes to girv-detail-pane.
[girv-client/girv-core] Added Util.checkArgNullOrBoolean().