+ 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.

This is for consistency with waCoq, and also is somehow more canonical.

So that we can create both jsCoq and waCoq packages.

Consolidated Webpack config in a single file, as is more common for
Webpack.
Provided npm scripts for running it as usual.

A flag `backend=wa` can now be passed to `scratchpad.html` to set the
`JsCoq.backend` config to WA.
Given an installation of `wacoq-bin`, this actually works!

These are obsolete. See github.com/jscoq/addons.

The former is used to generate the symbol database for autocomplete and
contextual info.