Micro reindents settings.json files with spaces on open

[pwhelan]

Micro reindents settings.json files with spaces on open

[dmaluka]

There was a bug #2647 causing needless overwriting of settings.json every time when micro starts. It was fixed in #3009 but this fix is not present in 2.0.13.

After the fix, micro writes settings.json only when the user sets an option via the set command in micro. In that case, micro still enforces a "canonical" JSON formatting, in particular replaces tabs with spaces. So if you don't want micro to mess with your settings.json, just don't use the set command.