Allow user to specify use of Redis