A script to convert Gmail Filters into sieve filters for use with Dovecot