mason: exclude deleted repos from backup
This change to the backup script was done in 2018-12-19 but wasn't synced to the ansible repo.