add redis's COPYING