added page id (along page label) to tab control; also helper function, and exception throwing
reset/clear the selection of the table when the model is (re)set/updated
add possibility to set table headers (due to a bug, this was not possible before)
fixed bug in last commit to Tab.php - when no or empty label was given, tab creation failed; in this case, the mandatory id is taken as label, as already intended originally