Redis-based task queue

[RealOrangeOne]

The built-in production-grade worker is based on the ORM, and thus the database. As a result, it requires polling to check for new tasks. By supporting Redis, we'd be able to have workers subscribe to tasks, drastically reducing latency.

We'd also be able to use key expiry for task cleanup automatically (#16)