Merge pull request #21 from sourcegraph/search

allow specifying multiple repository URIs in DefListOptions
allow single dots in revspec
remove old todo
RepoRevs instead of Repos plus a single CommitID