[VSCode] Support `proposed.terminalShellIntegration` API

[msujew]

Feature Description:

The latest Python extension (2024.12.1 as of today) uses some proposed API that is currently missing in Theia. I think we can stub this for now, since it's mostly about additional terminal features.

See also #14004.