Redis already supports matching keys

No reason to keep our own set and reimplement. It's potentially a little
slower, but should be ok in this case.