Changed gitbook theme and updated it to new version
Merge branch 'devel' of https://github.com/triAGENS/ArangoDB into aql2
Merge branch 'aql2' of https://github.com/triAGENS/ArangoDB into aql2
tried to diagnose logger races