Adding a redis part to configuration file in order to be able to specify...

... the redis port and host

This is needed for production environments.

The configuration file then contains the following entries when needed:

```
redis:
      port: 6379
      host: "127.0.0.1"
```