Export Tabs type from @gradio/tabs and fix the Playground to be compatible with the new Tabs API

Export Tabs type from @gradio/tabs and fix the Playground to be compatible with the new Tabs API #10376