config: make redis configuration optional

Default to local redis server.