Use Redis to store document ID lists in API

[finishes #79394772]