Rename Mirror to Repository

Rename Mirror and related classes to Repository. This change
better reflects what the classes are about. The old name was just to
confusing.