Use Redis for stat counters

The Redis client automatically falls back to a mock Redis server if no
Redis server is configured. Therefore, a Redis server is not needed to
run Mutalyzer. You'll just not get any aggregate stat counts over
different runs.