Support ANSI escape sequence in trace explorer web view.

The JS ecosystem keeps on giving.

Fixes build breakage of Github issue #320
#320

[Feature]

Signed-off-by: Markus Alexander Kuppe <github.com@lemmster.de>

.github/workflows/ci.yml

@@ -12,7 +12,7 @@ jobs:
     - uses: actions/checkout@v1
     - uses: actions/setup-node@v1
       with:
-        node-version: '14.17'
+        node-version: '18.19'
     - name: Install dependencies
       run: |
         npm install

.github/workflows/pre-release.yml

@@ -15,7 +15,7 @@ jobs:
     - uses: actions/checkout@v1
     - uses: actions/setup-node@v1
       with:
-        node-version: '14.17'
+        node-version: '18.19'
     - name: Get current version
       id: version
       run: echo "::set-output name=version::$(jq -r .version package.json)"

.github/workflows/release-nightly.yml

@@ -31,7 +31,7 @@ jobs:
     - uses: actions/checkout@v1
     - uses: actions/setup-node@v1
       with:
-        node-version: '14.17'
+        node-version: '18.19'
     - name: Get (nightly) TLC
       run: wget https://nightly.tlapl.us/dist/tla2tools.jar -O tools/tla2tools.jar
     - name: Get (nightly) CommunityModules

.github/workflows/release.yml

@@ -9,7 +9,7 @@ jobs:
     - uses: actions/checkout@v1
     - uses: actions/setup-node@v1
       with:
-        node-version: '14.17'
+        node-version: '18.19'
     - name: Get current version
       id: version
       run: echo "::set-output name=version::$(jq -r .version package.json)"