Fix #17 by using Redis

Fixes #17