FR: move from own json file to extension settings

[GitMensch]

The general entries should be directly adjustable, the commands may be set as they are now. Background: especially with multi-folder workspaces the single code-workspace containing the settings make it portable without an additional file.