Add a jpx decoder based on OpenJPEG 2.5.2

The decoder is compiled in WASM:
https://github.com/mozilla/pdf.js.openjpeg

Fixes mozilla#17289, mozilla#17061, mozilla#16485, mozilla#13051, mozilla#6365, mozilla#4648.

.eslintignore

@@ -6,6 +6,7 @@ external/bcmaps/
 external/builder/fixtures/
 external/builder/fixtures_esprima/
 external/quickjs/
+external/openjpeg/
 test/tmp/
 test/pdfs/
 web/locale/

external/openjpeg/README.md

@@ -0,0 +1,12 @@
+## Build
+
+In order to generate the file `openjpeg.js`:
+* git clone https://github.com/mozilla/pdf.js.openjpeg/
+* the build requires to have a [Docker](https://www.docker.com/) setup and then:
+  * `node build.js -C` to build the Docker image
+  * `node build.js -co /pdf.js/external/openjpeg/` to compile the decoder
+
+## Licensing
+
+[OpenJPEG](https://www.openjpeg.org/) is under [BSD 2-clause "Simplified" License](https://github.com/uclouvain/openjpeg/blob/master/LICENSE)
+and [pdf.js.openjpeg](https://github.com/mozilla/pdf.js.openjpeg/) is released under [Apache 2](https://github.com/mozilla/pdf.js.openjpeg/blob/main/LICENSE) license so `openjpeg.js` is released under [Apache 2](https://github.com/mozilla/pdf.js.openjpeg/blob/main/LICENSE) license too.

src/core/image.js

@@ -30,8 +30,8 @@ import { ColorSpace } from "./colorspace.js";
 import { DecodeStream } from "./decode_stream.js";
 import { ImageResizer } from "./image_resizer.js";
 import { JpegStream } from "./jpeg_stream.js";
-import { JpxImage } from "./jpx.js";
 import { Name } from "./primitives.js";
+import { OpenJPEGDecoder } from "./openjpeg_decoder.js";
 
 /**
  * Decode and clamp a value. The formula is different from the spec because we
@@ -118,14 +118,13 @@ class PDFImage {
     }
     switch (filterName) {
       case "JPXDecode":
-        const jpxImage = new JpxImage();
-        jpxImage.parseImageProperties(image.stream);
+        ({
+          width: image.width,
+          height: image.height,
+          componentsCount: image.numComps,
+          bitsPerComponent: image.bitsPerComponent,
+        } = OpenJPEGDecoder.parseImageProperties(image.stream));
         image.stream.reset();
-
-        image.width = jpxImage.width;
-        image.height = jpxImage.height;
-        image.bitsPerComponent = jpxImage.bitsPerComponent;
-        image.numComps = jpxImage.componentsCount;
         break;
       case "JBIG2Decode":
         image.bitsPerComponent = 1;