Make Redis Server configurable via environment variable

On environments where the redis server runs on a different machine/ip than localhost (e.g. Docker), palava-machine fails to start. It is unable to connect to the Redis server.

This PR adds the option to define the correct connection data via the environment varibale `PALAVA_REDIS`.

The new option is documented in `README.md`.