A simplistic PHP+Redis based work buffering library