Revert "removed generated file"

This reverts commit f47c63869130c65e09025fcc4e62b07470b7c930.
Merge branch 'devel' of github.com:triAGENS/ArangoDB into devel