Script to force gmail to refresh more often. As described here: http://rakowski.pro/how-to-force-gmail-to-check-your-pop3-account-as-often-as-possible/