added TRI_FORCE_ARMV6
arangob, arangodump and arangorestore do not need V8
added -DTRI_FORCE_ARMV6 for raspberry
Merge branch 'devel' of github.com:triAGENS/ArangoDB into devel