Update definition of SETTINGS_HEADER_TABLE_SIZE.

Allows the effective size of the header table to be changed by the
encoder inside the header compression data.