added derived file
added server-side count() method
prevent unloading of collections when document barriers are helt
Merge branch '1.3' of https://github.com/triAGENS/ArangoDB into 1.3