added generated files
added : to allowed characters in keys
Merge branch 'devel' of github.com:triAGENS/ArangoDB into 1.2
Merge remote-tracking branch 'origin/1.2' into devel