redis added, closes #10