Ability to truncate tab titles

Tab titles are drawn from node titles. If titles are long, they lead to unwieldy tabs.

Need to add configuration option to truncate.