add redis to deprecated names list, it's redis-x64
add redis to deprecated names list, it's redis-x64

WPN-XM/website-wpn-xm.org,WPN-XM/website-wpn-xm.org,WPN-XM/website-wpn-xm.org,WPN-XM/website-wpn-xm.org