added dispatcherThreads
changed the way of downloading user queries
merge
added progess indicator view
removed ajaxStart function
towards new dispatcher interface
fixed gc
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
fixed jslint
added filter state for documents filter
added support for multiple document deletion, fixed a a bug when wrong count of documents was returned
scss-lint changes
scss-lint changes
improved way of importing and exporting aql queries
fixed a document filter state bug
Implemented activateSessions.
Added documentation stubs for auth.