Remove redis

This deletes everything relating to redis, since we don't use it anymore.