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.

Broken by previous refactor.

Including tweaks in a few other places.

Makes more sense and also cleaner.

Modified `doc_options` to accept lib names as "."-delimited strings.

And so it begins.

`SearchResults` now carrying `qualified_name`s instead of `full_path`s.

Refactor `FormatPrettyPrint` (again)

In cases where the element has a padding, as is the case with `div.coq-env`.
The unit-test gallery has been updated to reflect this situation.

Trying to be more faithful to what `Format` does:
- take into account offset parameter defined on boxes.
- adhere to left margin of containing box, when breaking lines.
- be more declarative via CSS.

I think this would handle #126.

Closes #203.

Each snippet is now shown both before and after
break adjustment.

Symbol format has changed, but respective methods have not been updated.

In the landing page, due to the existence of bootstrap CSS.