Add 'tabListChanged' notification.
Send tabListChanged if the selected tab changes.
Merge branch 'master' into live-tab-list
Merge branch 'master' of github.com:jimblandy/DebuggerDocs