Migrazione a Redis

Migrazione a Redis come sistema di caching delle query e degli oggetti di Gaia.

Aggiornato installer.