And make travis use redis service