Thanks @mdnahas :D

A useful utility for injecting jsCoq into documents generated by `coqdoc`.
Adapted from a hack I used for Software Foundations.

To demonstrate its use, `nahas_tutorial.v` is used as an example.

Settings Panel! 

Moved all settings panel css to a separate file.

(+ tiny style fix)

Close on clickaway & also toggle company-coq pretty-printing of goals
when setting `Enable company-coq`.

A standard popup panel with checkboxes and links to GitHub and Zulip.

The settings currently don't do anything.

`make clean` also cleans dist `.tar.gz`.
`make distclean` removes cloned Coq sources as well.

Try to avoid a situation when the documents stays scrolled too much to
the right after a long sentence has been executed.

This was too hasty: vue-loader@16.x only works with Vue 3.

Some NPM audits.

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