Upgrade redis library from v6 to v8

L'unica differenza è l'aggiunta del parametro per il contesto, che per il momento non è utilizzato. Dopo aver aggiornato tutte le chiamate ho testato per un po' il bot, visto che le API tutto sommato rimangono le stesse non dovrebbero esserci sorprese.

Risolve una parte dell'issue #7 (closed).