Redis 8 is here—and it's open source