use Redis as an external cache for Souper queries