Introduce linting and formatting on testsuite

[zorkow]

PR introduces formatting and linting on the testsuite. In particular, it

• adapts the configuration to include the testsuite (details below)
• reformats the code according to prettier
• does all the automatic linting (mainly let to const)
• adds some of the missing jsdoc in the test sources
• manually fixes a number of linting issues (see last commit for details)

There are still four lint errors left of the type no-useless-escape. These seem to be LaTeX errors, which have an effect on the actual test output. I'll take care of those in a separate PR.

Configuration and Setup Changes

‎* Introduces pnpm-workspace.yaml file so we can refer to scripts in the workspace root from internal packages.

• Adds linting and formatting scripts to the package.json in testsuite that calls the respective workspace scripts.
• Relaxes file restrictions in eslint.config.mjs
• Adds a second eslint configuration to switch off jsdoc rules for *.test.ts files. This unfortunately leads to a reformatting. But that is all just whitspace.

[dpvc]

Looks good. Two comments about a strange use of |.

As for the four lint errors, they are all actual errors.

The first one in Base.test.ts should have one of the \ removed (should only be \\end not \\\end), and the second one needs an extra \ (so that it is \\cdot).

The \$ in Bussproofs.test.ts should just be $.

The \\\end should be \\end again in Newcommand.test.ts.

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 86.49%. Comparing base (bd27399) to head (8ca5247).
⚠️ Report is 9 commits behind head on develop.

Additional details and impacted files

@@           Coverage Diff            @@
##           develop    #1447   +/-   ##
========================================
  Coverage    86.49%   86.49%           
========================================
  Files          340      340           
  Lines        86044    86044           
  Branches      4833     4833           
========================================
  Hits         74425    74425           
  Misses       11595    11595           
  Partials        24       24           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.
• 📦 JS Bundle Analysis: Save yourself from yourself by tracking and limiting bundle sizes in JS merges.

[zorkow]

Also needed to push a new version of pnpm-lock.yaml after running pnpm install. The old version made the tests fail.