Table: Fixed bugs in header printing configuration

Table: Fixed bugs in header printing configuration

Previously, the user-defined setting of table->print_header
was overwritten at various locations, making multiple uses of
table_start()/table_end() on a single table close to unusable.

Now, table->print_header is not modified by the table printer
itself, except for table_init().