[girv-client/layout] Made DisplayGraph labels (somewhat) configurable.
[girv-client/frontend] Renamed girv-graph-navigator -> girv-graph-viewer.