discovery2csv: Add --no-header option.