Several small changes, as follows:

- Whitespace normalization
- Removed 'doall' and 'filter' options
  since they weren't cleanly conceived
- Added ability to skip entire files.