Rename Redis -> Valkey

[obiltschnig]

With Redis being effectively a dead-end now (due to their license change) and Valkey being the hot new thing, we maybe should consider renaming the Redis library to Valkey as well.