Flush every minute by default, not every 10 seconds.

When flushing, don't flush all in one redis pipeline; break into chunks
of 5k keys at a time.
print version on startup