GraphViewer: Now the priority list is accessable like a real list.
GraphViewer: The nodeReducer now offers the prioList for reading. It is piped through the adapters allready
GraphViewer: THe Interface now considers existing priorities in the list
GraphViewer: The PriorityList now uses an icon for its buttons. Looks way more awesome
GraphViewer: Moved all static image loads to css.
GraphViewer: Updated the Toolbox icons. Now the text has exactly the same font. No rescaling anymore
Merge branch 'devel' of github.com:triAGENS/ArangoDB into devel