Uses Redis to report visited files.
Minor design fixes.