Upgrade gl to v8

[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 10403964584

Details

• 61 of 83 (73.49%) changed or added relevant lines in 13 files are covered.
• 7 unchanged lines in 3 files lost coverage.
• Overall coverage decreased (-0.03%) to 81.499%

---

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	17	52.94%

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	65.15%

Totals
Change from base Build 9988348374:	-0.03%
Covered Lines:	10946
Relevant Lines:	13065

---

💛 - Coveralls