Ports used by redis and tool data sink should be configurable

[portante]

The ports used by the redis-server and the Tool Data Sink should be configuration in the config/pbench-agent.cfg file. We need to provide the user the ability to change those ports should they have services already running with those ports in use.