Can now return to the original `Import` statements.

Based on `package.json`. This way there is only one place in which you
need to update the version.

Was still causing stack overflows. More robust to just replace
`List.fold_right` with `rev` and `fold_left`.

In pretty-printing of goals and terms.
Not perfect, but it's progress.
Also, there are three unit tests now. :P

Keyboard slip caused it to revert to the old Gitter url.

Used to always display Meta-N, Meta-P.
But these don't work on Mac.

Probably should tell Jane Street.

`make dev` runs Dune in watch mode and also launches an HTTP server.

For Debian, `i386` needs to be specified as an alternative architecture
in order to install `libgmp-dev` 32-bit version.

Serving the image from Inria violates cross-origin isolation, which we
now need.

Can now be activated in the scratchpad by appending `?dark` to
the URI.

Fixes #231 (for now).

Collab TNG for v8.13

Now `stream-browserify` is needed as a dependency.

This is phrased as an "addon"; I think that not only libraries can be
"addons" but this kind of interop UI functionality should be as well.

It does not mean that UI addons should be built outside of the jsCoq
source tree like mathcomp & co.
If they are small enough, they are ok where they are in `ui-js/addon`.

Add missing deps for Linux build in Travis

Also brought over Travis config for macOS (without Homebrew).

It is a private repo, use ssh key from `_ssh/id_rsa`.

(Until we have GitHub Actions)

Set the `version` field of all library addons to the version of jsCoq
when building with Docker.

https://github.com/101arrowz/fflate/issues/17

[build] Bump required compiler version to 4.10.2

We also bump some other libraries as to reduce non-deterministic
developer switches.

[build] Don't use bash to run simple commands.

This has some minor advantages, including dune handling of arguments.

We also tweak the contents of coq-base a bit, as `Wellfounded`,
`Strings` and `Numbers` do depend on `coq-arith`.

Still coq-collections does basically depend on coq-reals too, so that
could be tweaked at a later stage.

This file should be auto-generated.

Fixes #219 , the fix was committed to the 8.12 branch of SerAPI so
will do the same for jsCoq's 8.12 branch.

Nothing too remarkable, code-wise, but a big change upstream is the
addition of `zarith` as a hard dependency.

TODO:

- update addons

Allowing hidden snippets in documents

Restore Unit Tests

Upgraded mocha and switched to async version of child_process.

Fixes #205.