fixed visual bug at notification menu
fixed a wrong notification initialization bug
move to async calls for fetching documents and operating aql queries
Merge branch 'devel' of github.com:triAGENS/ArangoDB into devel