add search.defaultRepositories hack for demo

Created by: sqs

The user setting search.defaultRepositories is used to set the repos for a search when ALL of the following are true:

• It is on Sourcegraph.com
• There are no other repo: or repogroup: filters
• The user has a search.defaultRepositories setting property

This hack will be reverted after 2019 Mar 25.