GraphViewer: Event dispatcher now offers rebind functions for buttons to the outside world. This is used to give an initial active tool without creating a toolbox.
GraphViewer: Widgets can now initially be bound with any action available in the toolbox
Merge branch 'devel' of github.com:triAGENS/ArangoDB into devel