Editor indentation setting

Add a setting for editor indentation width, applied to the editor’s indent unit and the Beautify formatters (JSON and XML).

Proposed in PR #311 (credit: G0STG0D). The setting needs to reach several places (open editors, formatters, format caching), so the implementation will be redesigned rather than built on that PR.