Add "prioritize" option for addTab, so that we switch to a prioritized
tab when closing the current one, if available.