Add a way to rank search results

We give each search hit a relevance score computed from the sum
of proximity, recent, and text match bonuses.

The search results are ordered by this value by default.

https://bugzilla.gnome.org/show_bug.cgi?id=680163