1.4.0-beta2
Merge branch 'devel' of github.com:triAGENS/ArangoDB into devel
fixed merge problem
added `replace` command for foxx-manager, updated docs
added foxx-manager `installed` command
open databases in deterministic order
faster server shutdown
updated CHANGELOG
removed multiline shell editor
Merge branch 'devel' of https://github.com/triAGENS/ArangoDB into devel
shell css
fixed typo in ifdef
Merge branch 'devel' of github.com:triAGENS/ArangoDB into devel
Merge pull request #618 from luebbert42/devel

foxx manual: renamed titles
added zlib version
added first attempt for cmake
Merge branch 'devel' of github.com:triAGENS/ArangoDB into devel
design
Merge branch 'devel' of https://github.com/triAGENS/ArangoDB into devel
design