[meta] Update CHANGES.

[bugfix] Ronin failing because of minification.

In princple, should change Ronin to not rely on the literal name
of the constructor.

Merge pull request #269 from jscoq/v8.15+packaging-fixes

Packaging fixes

Merge pull request #264 from jscoq/v8.15+docker-multiarch

Docker multiarch

[meta] v0.15.0 tag.

[port] Bump the Coq tag to 8.14.1.

[npm] Apply audit fixes

Merge pull request #252 from jscoq/v8.13+reify_coqexn

[cleanup] Reify CoqExn data into a Json object

[oops] Missing comma in pkg script.

[ui] [gfx] Merged styling from waCoq (manually).