ITerminalContextPropertiesProvider seems unused

@jonahgraham @ruspl-afed I noticed that `ITerminalContextPropertiesProvider` seem to have no reference, does anyone know if it is still needed?

Should we remove it (together with the extension point)?

Cerca nei sorgenti di Eclipse Platform i riferimenti a ITerminalContextPropertiesProvider e al relativo extension point. Verifica se sono ancora presenti implementazioni, registrazioni o consumer e consulta la discussione dell’issue per il contesto. Il lavoro è concluso quando è stato stabilito se è ancora necessario e, in caso contrario, l’interfaccia e l’extension point sono stati rimossi in modo coerente.

Scritto dal modello di indicizzazione a partire dal testo della issue.