mirror: Rename clone_dir to repo_dir to be in line with other code
Deprivatise repo_already_mirrored/remotely_delete_repos

There's no real reason for these to be private.