Convenient server-side mail filtering that works with procmail