Improved reporting of Redis connection benchmark tool (connections.py)
Improved handling of Ctrl + C and Ctrl + D in cli.py