GraphViewer: It is now possible to change the priority list on the fly
Merge branch 'devel' of github.com:triAGENS/ArangoDB into devel