Fixed duplicated names for examples
Merge branch 'devel' of github.com:triAGENS/ArangoDB into devel
Improved new documentation generator. It now injects code from examples correctly