mirror_cleaner: Add in script to prune mirror repos

This adds a script that can be used to clean out the
mirrors of upstream git repositories.

Change-Id: Ie695994872c6b7a6a879e4fee762323a9a454cff
1 file changed