Add search option

[kordwarshuis]

What: a search option that searches only search in the definitions instead of in all content
Why: often, you search for a specific definition
Where: a checkbox next to the search bar, that says "definitions only"
Who: users that search for definitions
Which way: add via client-side JavaScript, default is "all".

[kordwarshuis]

Done. It will go live in the future.

[kordwarshuis]

The feature is live. It works as follows: when definitions are collapsed the search will not search in defitinions, only in terms