#365 Added a -diffignore option to indicate headers that should be ignored
for doffing (this is also used in the baselining).