get_mirror($dist): get best mirror for dist

returns REPOSITORY if defined, otherwise try to guess
a proper mirror.

Conflicts:
	build/base.install