Fixed jslint warning for sync, (we are nt syncing but JSLint matches sync in parameternames
Modified karma conf to support Jenkins
Merge branch 'devel' of github.com:triAGENS/ArangoDB into devel