Make tiptap-pro deps optional

- This is to allow CI to skip them without failing on the install phase. This allows us to skip setting up CI with the correct key
- So far this is only used in prod, not in tests, thus is not needed for CI.

.github/workflows/ci-checks.yaml

@@ -29,5 +29,5 @@ jobs:
                   node-version: 16
                   cache: 'yarn'
 
-            - run: yarn install --ignore-scripts
+            - run: yarn install --ignore-scripts --ignore-optional --non-interactive
             - run: yarn test

package.json

@@ -58,7 +58,6 @@
         "@josephg/resolvable": "^1.0.0",
         "@popperjs/core": "^2.11.6",
         "@sentry/node": "^6.14.3",
-        "@tiptap-pro/extension-mathematics": "^2.7.5",
         "@tiptap/extension-code-block": "^2.2.4",
         "@tiptap/extension-heading": "^2.2.4",
         "@tiptap/extension-highlight": "^2.2.1",
@@ -172,6 +171,9 @@
         "worker-loader": "^3.0.7",
         "xhr-shim": "^0.1.2"
     },
+    "optionalDependencies": {
+        "@tiptap-pro/extension-mathematics": "^2.7.5"
+    },
     "devDependencies": {
         "@babel/core": "^7.9.0",
         "@babel/helper-validator-identifier": "^7.9.0",