search: create separate repo_has_file file
Created by: rvantonder
This moves repoHasFile
logic out of repository.go
and into its own file. This is setup for removing pattern info, which means repo_has_file
stuff needs to get out the way. It will also make it easier to delete repoHasFile when we remove it.
Test plan
Semantics-preserving.