runtime: rename repo to dist

A better name for repo is dist (distribution) since each of these
directories will typically be managed like a distribution.