web: Remove `stylelint-config-prettier` package

From package npm page:

> As of Stylelint v15 all style-related rules have been deprecated. If you are using v15 or higher and are not making use of these deprecated rules, this plugin is no longer necessary.

Stylelint was upgraded to 15.0.0 on 68078dc commit

web/package-lock.json

@@ -29,7 +29,6 @@
                 "mocha": "^10.2.0",
                 "prettier": "^2.8.1",
                 "stylelint": "^15.0.0",
-                "stylelint-config-prettier": "^9.0.4",
                 "stylelint-config-standard": "^30.0.0",
                 "stylelint-prettier": "^3.0.0",
                 "ts-loader": "^9.4.1",
@@ -10461,22 +10460,6 @@
                 "url": "https://opencollective.com/stylelint"
             }
         },
-        "node_modules/stylelint-config-prettier": {
-            "version": "9.0.4",
-            "resolved": "https://registry.npmjs.org/stylelint-config-prettier/-/stylelint-config-prettier-9.0.4.tgz",
-            "integrity": "sha512-38nIGTGpFOiK5LjJ8Ma1yUgpKENxoKSOhbDNSemY7Ep0VsJoXIW9Iq/2hSt699oB9tReynfWicTAoIHiq8Rvbg==",
-            "dev": true,
-            "bin": {
-                "stylelint-config-prettier": "bin/check.js",
-                "stylelint-config-prettier-check": "bin/check.js"
-            },
-            "engines": {
-                "node": ">= 12"
-            },
-            "peerDependencies": {
-                "stylelint": ">=11.0.0"
-            }
-        },
         "node_modules/stylelint-config-recommended": {
             "version": "10.0.1",
             "resolved": "https://registry.npmjs.org/stylelint-config-recommended/-/stylelint-config-recommended-10.0.1.tgz",

web/package.json

@@ -28,7 +28,6 @@
         "mocha": "^10.2.0",
         "prettier": "^2.8.1",
         "stylelint": "^15.0.0",
-        "stylelint-config-prettier": "^9.0.4",
         "stylelint-config-standard": "^30.0.0",
         "stylelint-prettier": "^3.0.0",
         "ts-loader": "^9.4.1",