Configure travis to work with Redis