Search frontend:

Search frontend:
* let the backend provide snippets and other info, fill only what is not
  provided
* wrap textual results in a div, should make the snippets look more
  compact and consistent over hits
* added a did you mean.. container
* show total number of hits if available
* added messages for "redirects to article", and "relevant section" hits