allow exporting the search query as json

[kaystrobach]

[carminexx]

Something was done with the Search.js fork: https://github.com/hirokiosame/search.js/tree/master
Unfortunately last update is 2 years old and it's not supported anymore..

Anyway, +1! Would be a nice feature

[andremleblanc]

👍