REDIS_URL in Flask config is not used

[moi90]

config_default.py contains a REDIS_URL key, but the URL that is actually used is hard-coded in worker.py.

-> Use Flask-RQ2 for consistent access to Redis.