GraphViewer: The UI now offers the option to switch between directed and undirected graphs
GraphViewer: Increased Default Min-size of NodeRadius from 1px to 4px
GraphViewer: Further prefixed UI Element-Ids, they were only unique in scope of different lists
Merge branch 'devel' of github.com:triAGENS/ArangoDB into devel