Open-source firm Redis Labs acquires software tool from Indian startup HashedIn