GraphViewer: Improved the layout of the toolbox buttons. They are now twice as large and only on row
Merge branch 'devel' of github.com:triAGENS/ArangoDB into devel