Update and fix options in data/micro.json and runtime/help/options.md

[omarelladen]

No description provided.

[JoeKar]

Looks good so far.

Unfortunately this will happen over and over again, since we maintain the options and their order at 4 different places:

• https://github.com/micro-editor/micro/blob/master/internal/config/settings.go
• https://github.com/micro-editor/micro/blob/master/data/micro.json
• https://github.com/micro-editor/micro/blob/master/runtime/help/options.md
• https://github.com/micro-editor/micro/blob/master/runtime/help/options.md#settingsjson-file

Somehow a self made problem, but a unnecessary one.
We should reduce the places or think about generating the stuff from one single point of truth.