resolve issue #7, do not show search box on virtual repos, as this makes no sense. Virtual repos can be remote vi redirect, thus search would not be reliable, as we do not want to index remote repos.