A Dockerfile that produces a Docker Image for ArangoDB