Delete Unused Git Branches Fast: Clean Up Your Local Repository!