procmail spam filter written in ML using Bayesian classification