telling Travis to use Redis