HTML style: support "width" of column definition as <col> width.

The `width` option in the column definition is already supported by the ExtJS style.
This adds the `width` value as `<col>` attribute so that it works in HTML style too.