Utility to delete lots of emails from a gmail inbox