Sherlodoc search engine

This is the search engine used to provide client and server side search.

For a full deployment, see https://doc.sherlocode.com/