Fix realm and repos facet problems, fixes #5618

Remove 'all' value in realm for global search, change search box
name for realm to repos, show repos in search header options
Show repos in browse descriptions header-options

Refs #5618