added missing stats to statistics app and did further dashboard fefactoring
dashboard refactoring
Merge branch 'devel' of https://github.com/triAGENS/ArangoDB into devel
 fixed bug in statsitics
fixed css for cluster#
Merge branch 'devel' of https://github.com/triAGENS/ArangoDB into devel
fixed manifest for pagination
fixed scsslint
removed some '**' in manifest.json
Merge branch 'devel' of https://github.com/triAGENS/ArangoDB into mjmh
use TRI_voc_tid_t