Skip the migration if Redis is not installed.

Hacking HOWTO says that Redis is optional, but
192-remove-old-aoa-stats.py needs Redis to be done.