Make a proper RepoIndex ADT

This represents the collection of packages from a remote repo.
It encodes the policies on how we find packages when we have multiple repos.
The policy is encoded in the repo merge operation and in the various kinds of
lookup functions.