append in tab-panel%

Adds a tab to the right end of panel's top row of tabs.

• (send a-tab-panel append choice) -> void
     choice : string (up to 200 characters)

  The label string choice can contain an ampersand, which (in the future) may create a mnemonic for clicking the new tab. A double ampersand is converted to a single ampersand.