Replace build/prefilter.pl with build/prefilter.ml
Merge pull request #404 from chaudhuri/prefilter_ml

Replace build/prefilter.pl with build/prefilter.ml