Script to Create Gmail Contacts Filter

I created a quick Python script to create a Gmail filter from a Google Contacts CSV export. If you need to create a Gmail filter that excludes all emails from your contacts, this is what you need.