move --repo-proxy, --extra-repos to lib