fixed redis output, added redis dump tool