Stop devcontainers by parameter

Unfortunately, devcontainers are not stopped with this action and remain active. An [TODO](https://github.com/devcontainers/ci/blob/8b2e2d0300e69c8ca05b66f27195d4559344cb3a/github-action/src/main.ts#L210C6-L210C11) in the source code already indicates this.

It would be really helpful for our CI if we could specify the desired behavior by using a parameter.

Inizia in github-action/src/main.ts intorno alla riga 210, dove è annotato il TODO relativo all'arresto dei devcontainers, e segui la gestione degli input già presente nell'action. Individua il comportamento previsto del parametro e verifica che il comportamento selezionato venga rispettato senza lasciare devcontainers attivi.

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