databases/redis: Update to 7.0.13

This port is already updated to 7.2 on main branch but still stays in
7.0 on 2023Q3. So directly commit the update rather than merge it from
main.

ChangeLog: https://github.com/redis/redis/releases/tag/7.0.13
Approved by: fluffy (ports-secteam, via private email)
Security: 6c72b13f-4d1d-11ee-a7f1-080027f5fec9