* options.h (class General_options): Add --print-output-format.