tools/configurator: support --header-file if we don't want to write to stdout.