Add Redis interface

[Michael Thies]

The Redis interface should allow creating Readable + Writable connectors for using Redis String-values associated to a specific key for persistence.

In addition, the interface could allow reading and writing to/from Redis streams, possibly allowing to use Redis as a datalog store or communication interface with other applications.