Because we now use status updates for reporting Review Bot tool results, we

don't need to keep track of which files were processed or ignored. This change

simplifies that, and updates all the tools to include docstrings where

appropriate.