reposync: add new flag to delete a repo folder and then exit