tool for extracting information from redis database dumps without loading everything into RAM