Bump jetbrains.dotcover.globaltool from 2023.1.4 to 2023.2.0

Bumps jetbrains.dotcover.globaltool from 2023.1.4 to 2023.2.0.

---
updated-dependencies:
- dependency-name: jetbrains.dotcover.globaltool
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>

.config/dotnet-tools.json

@@ -3,7 +3,7 @@
   "isRoot": true,
   "tools": {
     "jetbrains.dotcover.globaltool": {
-      "version": "2023.1.4",
+      "version": "2023.2.0",
       "commands": [
         "dotnet-dotcover"
       ]