GWT-669: sub tab height configurable
Merge pull request #75 from geomajas/GWT-669_subTabHeightConfigurable

GWT-669: sub tab height configurable