GWT-669: sub tab height configurable

BUGFIX, enable customizing the height of the subtabs of a tab set