Python Flask REST interface to Redis