Add new config options from last hls-1.4.0

[jneira]

• With special attention to checkProject
• Actual default config is

 {
    "haskell": {
        "checkParents": "CheckOnSaveAndClose",
        "formattingProvider": "ormolu",
        "hlintOn": true,
        "diagnosticsOnChange": true,
        "diagnosticsDebounceDuration": 350000, // unused, should not be added
        "liquidOn": false,
        "plugin": {
            "importLens": {
                "codeActionsOn": true,
                "codeLensOn": true
            },
            "ghcide-hover-and-symbols": {
                "hoverOn": true,
                "symbolsOn": true
            },
            "ghcide-code-actions-bindings": {
                "globalOn": true
            },
            "splice": {
                "globalOn": true
            },
            "retrie": {
                "globalOn": true
            },
            "hlint": {
                "codeActionsOn": true,
                "diagnosticsOn": true,
                "config": {
                    "flags": []
                }
            },
            "ghcide-completions": {
                "globalOn": true,
                "config": {
                    "autoExtendOn": true,
                    "snippetsOn": true
                }
            },
            "ghcide-type-lenses": {
                "globalOn": true,
                "config": {
                    "mode": "always"
                }
            },
            "class": {
                "globalOn": true
            },
            "ghcide-code-actions-fill-holes": {
                "globalOn": true
            },
            "haddockComments": {
                "globalOn": true
            },
            "eval": {
                "globalOn": true
            },
            "tactics": {
                "hoverOn": true,
                "codeActionsOn": true,
                "config": {
                    "max_use_ctor_actions": 5,
                    "proofstate_styling": true,
                    "auto_gas": 4,
                    "timeout_duration": 2,
                    "hole_severity": null
                },
                "codeLensOn": true
            },
            "ghcide-code-actions-type-signatures": {
                "globalOn": true
            },
            "pragmas": {
                "codeActionsOn": true,
                "completionOn": true
            },
            "ghcide-code-actions-imports-exports": {
                "globalOn": true
            },
            "refineImports": {
                "codeActionsOn": true,
                "codeLensOn": true
            },
            "moduleName": {
                "globalOn": true
            },
            "callHierarchy": {
                "globalOn": true
            }
        },
        "formatOnImportOn": true,
        "maxCompletions": 40,
        "checkProject": true
    }
}