support for Redis urls

This commit keeps the existing method of configuring Redis, and adds the option to provide a url in the form `redis://dummy:password@example.com:5555/42`