* Download redis code