ES6
Merge branch 'devel' of https://github.com/triAGENS/ArangoDB into devel
jslint
ES6
The web interface now does not fail anymore if it cannot connect to github.com. Appropriate information is generated.
added cpu and fpu flags for raspberrypi
avoid O3
Merge branch 'devel' of github.com:triAGENS/ArangoDB into 2.4