and in the .ui builder set that name from the name of the
label widget matching that tab

which allows human understandable names to be used in looking
up the pageids for a given tab page rather than fragile
by_position so tab pages can be freely moved around without
busting the code

Change-Id: Ieaff1408b25545c561a0b28c51ec205af6e1400f