Integrate Sherlodoc search directly via the Sherlodoc API

[sabine]

This patch that makes Sherlodoc search available on the package documentation.
Calls the Sherlodoc API directly from the browser.

Current limitation: Sherlodoc has one version of every package indexed and that's the version being searched.

[tmattio]

Wot wot! 🎉

This is great! I do have one concern though: I'd strongly prefer that we don't rely on external services outside the control of the OCaml.org team. Can we deploy sherlocode on the ocamlorg infrastructure?

[sabine]

We will when this has settled as the long-term solution.

Would it be okay to deploy this in a "building-in-public"-fashion so we can get early feedbacks from users?

I can also put it on staging if we want to be a bit more conservative wrt external calls on ocaml.org.

ETA: or I can try and add sherlodoc to ocaml.org's Docker container.

[tmattio]

For sherlocode to be used in ocaml.org, it'd have to fall under the OCaml.org projects governance (c.f. https://ocaml.org/policies/governance), so move to an official org and be deployed as part of the OCaml infrastructure.

I don't have concerns deploying it in staging to facilitate user research though!

[art-w]

Yes that makes sense!

• The main issue for deployment with the existing dockerfile for ocaml.org is the ~9go database file that will need to be accessible.. Do we have some place where it could be hosted? (It's read-only, do we have access to a docker volume to avoid copying it in the container?)

  In the future, the plan is that voodoo will produce this database but we are not there yet! It would be nice if UI improvements/feedbacks could be worked on in parallel to the integration with the existing documentation pipeline.

• Regarding official org, just let me know where I can move the repo! (or create an official fork if it's easier?) Changing the licence / Renaming sherlodoc is also up for grabs, for example odoc-search or whatever you see fit :)

  Note that this might be temporary: I have hope that the sherlodoc codebase will evaporate into odoc built-in support for search and that the initial project can be deprecated ^^

[tmattio]

With the work on adding search support in odoc, powered by sherlodoc, I suspect the plan has changed quite significantly.
I suggest we pick this up once search support has landed upstream, closing in the meantime.