The script has been renamed `adopt-addons`, because "consume"
sounds a bit harsh.

Plus a general cleanup of `coq-pkgs.json`.
Also, listed std++ and Iris as affiliated.

Because of some stubs.
Closes #258.

In case the certificates in the Debian image are too old, blocking
installation of OPAM via wget.

Js_of_ocaml now actually implements some of these. Thanks guys!

+ updated Mocha (npm audit stuff).

Adjusted default URLs and branches.

Instead of pp. Since we have it now.

- Migrated patches for 8.14.
- Up wacoq to 8.14 in docker image
- install: 8.14 requires `coq-core` and `coq-stdlib` to be installed.
- Set version 0.14.0.

[cleanup] Reify CoqExn data into a Json object

Listed `coqoban` in affiliated packages.

Solved by adding another value to `Phases`. Sentences are not expected
to remain in this state for long, but may spend some time
there if the worker is busy.

Fixes #249.
(I hope.)

That's better w.r.t. future, we also add a msg field which is the
rendered plain string, useful when debugging early stages or low-level
as the CoqPP is hard to read and in that setup, we may not be able to
to access the pp printer yet.

Quote escaping hell in this tiny `sed` script.

As a result of recent refactor/merge.

Options and package loads.

Should be in `_build/dist`, and end with `-npm.tgz`.
I'm changing `.tar.gz` to `.tgz` to be consistent with what `npm pack`
generates.

Dual-branch Dockerfile

This requires running with BuildKit if you want to build only one of
the branches.

Was taking the jsCoq files. Oops.

The Great Backend Consolidation
Hurray

Must be set this way in 8.13. Will revise in 8.14 using the improved
`Stm.new_doc`.

Relative to `headless.ts`.

Previous package, `vue-context`, is abandoned.

Not really complete yet as it does not even report an error to the user
if `coq-pkgs/coq.json` is missing.
But it's a step in the right direction.