Script for Google Mail to completely delete mails from unwanted sources.