Also, output the headers to stdout not stderr, as this is used in a tcl catch.
Also, output the headers to stdout not stderr, as this is
used in a tcl catch.

Signed-off-by: Henner Zeller <259ad50fabbfd39355f36ecd6c0afca541ea66ef@acm.org>

chipsalliance/UHDM,chipsalliance/UHDM,chipsalliance/UHDM