lsp: cmd for accepting runtime options update

[joacoc]

Motivation

This PR adds a new command to the LSP, optionsUpdate, making it possible to change runtime options (for now only formatting_width). This avoids the need to restart the server and deal with the associated issues.

Tips for reviewer

Checklist

• This PR has adequate test coverage / QA involvement has been duly considered.
• This PR has an associated up-to-date design doc, is a design doc (template), or is sufficiently small to not require a design.
• If this PR evolves an existing $T ⇔ Proto$T mapping (possibly in a backwards-incompatible way), then it is tagged with a T-proto label.
• If this PR will require changes to cloud orchestration or tests, there is a companion cloud PR to account for those changes that is tagged with the release-blocker label (example).
• This PR includes the following user-facing behavior changes: