allow specifying multiple repository URIs in DefListOptions
Merge pull request #21 from sourcegraph/search

allow specifying multiple repository URIs in DefListOptions