Add search option

[rolfkleef]

Per comment by @cirulls

It is possible to integrate search with a hugo website: https://gohugo.io/tools/search/

If this is a requirement for migrating the documentation to the website and allowing better collaboration, I can invest some time into implementing the search functionality on the website.

@AirQuick: It would be appreciated if you could integrate some search functionality. Whether we migrate Wiki or not, searchability will be welcomed by everybody.

[rolfkleef]

I currently have no experience here, can also look for options.

[cirulls]

I'm planning to work on this in July but any help or feedback is welcome.