Added Redis Storage Backend

This is the first storage backend to replace the dummy storage
implementation. It is not the default, though, and requires to
explicitly set the redis settings.