PHP implementation of a bloom filter