WebSearch: new query terms corrector

 * Calculates nearest terms more accurately (addresses #1176)
WebSearch: new nearest terms output box

 * Integrates native and Solr query spelling correctors