Fix Redis download link (the host for the source has changed)