Upgrade gl to v8, Prettier to v3

[RichDom2185]

Description

Refer to their release notes.

Now, we have prebuilt binaries shipped for most systems, so it will save us so much time (and compute resources – especially for GitHub Actions runners) to not have to build from source each time.

Beyond that, they also add GCC 13 support. Closes #1417. Will also close #1508 as unplanned (as the root cause is fixed – no more motivation to necessarily move out).

Also updates to latest Yarn and bumps Prettier

[RichDom2185]

@sayomaki we need to figure out how to resolve the require on ESM error&hellip... it's blocking our gl migration for both frontend and js-slang :(

Should we just use Yarn 3?

[RichDom2185]

@sayomaki I think best to just use latest Yarn. Doesn't hurt anyway.

[coveralls]

Pull Request Test Coverage Report for Build 12904208937

Details

• 63 of 84 (75.0%) changed or added relevant lines in 13 files are covered.
• 7 unchanged lines in 3 files lost coverage.
• Overall coverage decreased (-0.02%) to 81.63%

---

Changes Missing Coverage	Covered Lines	Changed/Added Lines	%
src/modules/errors.ts	3	5	60.0%
src/errors/typeErrors.ts	25	31	80.65%
src/typeChecker/internalTypeErrors.ts	2	8	25.0%
src/errors/errors.ts	9	16	56.25%

Files with Coverage Reduction	New Missed Lines	%
src/modules/errors.ts	1	75.0%
src/typeChecker/internalTypeErrors.ts	3	42.11%
src/errors/errors.ts	3	69.7%

Totals
Change from base Build 12903670513:	-0.02%
Covered Lines:	11499
Relevant Lines:	13699

---

💛 - Coveralls