added resizable event doc. source view, fixed a list-edit doc view bug
Merge branch 'devel' of https://github.com/triAGENS/ArangoDB into devel
removed console logs
Merge branch 'devel' of https://github.com/triAGENS/ArangoDB into devel