Tool to migrate collections from mongodb to ArangoDB