No strong opinions here, but I actually prefer Pietro Abate's
suggestion -- add a new option '--exclude-files'' that takes a regexp
of files to ignore. As far as I can tell, this has the full
functionality of ignored_file -- just add ``ALL exclude_-files ...''
to your prefs file.
Juliusz