quick search functionality on the docs

[odino]

from @omissis

maybe we should try using https://vuepress.vuejs.org/plugin/official/plugin-search.html#install? I'm not a frontend wizard so help's definitely appreciated :slightly_smiling_face:

[omissis]

I will look into it, you can assign it to me :)

PS small typo: docks -> docs