Add a search bar to the documentation site

[g3force]

There is no integrated search bar on the Antora site yet.

Use https://gitlab.com/antora/antora-lunr-extension to add one.

Also see https://github.com/qaware/clean-documentation-template as a working example for reference.