Use tier0 mirror on build servers

There is a need for build servers to never build against outdated repo databases, even with syncrepo providing a local mirror that is updated every minute.