Make filter scaling geometric

According to section 4.1 of
http://www.sciencedirect.com/science/article/pii/S0020019006003127, we
can and should scale the size of the filters (orthogonally to the
requirements for false positive probability), by a factor of 2-4. This
adds scaling by a factor of 2--each additional filter has twice the
capacity of the previous one.
Add a 5th argument for expire time (redis EXPIRE)
Add check-add command: atomic check+add
Add layer-check-add: atomic layered check+add
f check-add
f layer-check-add