Use Redis instead of dobbin.

Losing portable database and adding the need for an external service hurts,
but Redis is far easier to use.