tool for converting redis' rdb to csv