Make SuperBOL configs CamelCase in VSCode extension

[engboris]

In src/vscode/superbol-vscode-platform/settings.ts there is an occurrence of display-variable-attributes , gdb-path and libcob-path:

    public get displayVariableAttributes(): boolean {
        return this.debugSettings.get<boolean>("display-variable-attributes");
    }

    public get gdbpath(): string {
        return this.debugSettings.get<string>("gdb-path");
    }

    public get libcobpath(): string {
        return this.debugSettings.get<string>("libcob-path");
    }

I don't know if any of these have to be modified.

Closes #407

[engboris]

Tests have been done for:

• source-format (by changing the workspace config and see effect on source code);
• cobc (by looking at the path used by the F5 command);
• lsp-path and superbol.toml (created with the SuperBOL: Write Project Configuration command) which outputs what is expected.

I probably missed something and I'm not sure how to properly test display-variable-attributes, libcob-path and gdb-path.

[GitMensch]

You can at least test them when building it locally (needs to be pushed to the sub-repo later) and running it.

gdb-path is the debugger binary that is started (just set to an invalid entry, start, get an error, set to full path, start, have debugging, unset the path [so it is searched for in PATH], start debugging) display-variable-attributes -> check (was it with hover?) how the variables are shown in the debugger view when this is (not) active.

[nberth]

Also: https://github.com/OCamlPro/superbol-vscode-debug/pull/12 needs to be merged first, and the submodule update be included in the current PR.