We are changing the way external repositories are handled: they will be a sibling of the main repository instead living in the external/ directory under it, both in the execroot and in runfiles trees.

That is, files in them will be accessible at ../$REPO instead of external/$REPO.

This is a tracking bug for the imminent flag flip and a place to list tips for the migration and things that broke.