phab-ping: handle ^C, more like ping
phab-ping: handle ^C, more like ping

Handle Ctrl-C and print out a summary of min/mean/max ping times,
this is more like the behaviour of the standard 'ping' tool and
so probably fits with people's expectations better.

Test Plan:
$ phab-ping http://locahost
Ctrl-C
$ phab-ping http://locahost -c 0
$ phab-ping http://locahost -c 1

cs-shadow/phabricator-tools,bloomberg/phabricator-tools,bloomberg/phabricator-tools,cs-shadow/phabricator-tools,aevri/phabricator-tools,kjedruczyk/phabricator-tools,kjedruczyk/phabricator-tools,aevri/phabricator-tools,valhallasw/phabricator-tools,kjedruczyk/phabricator-tools,valhallasw/phabricator-tools,bloomberg/phabricator-tools,cs-shadow/phabricator-tools,bloomberg/phabricator-tools,valhallasw/phabricator-tools,aevri/phabricator-tools,aevri/phabricator-tools,aevri/phabricator-tools,kjedruczyk/phabricator-tools,valhallasw/phabricator-tools,cs-shadow/phabricator-tools,cs-shadow/phabricator-tools,kjedruczyk/phabricator-tools,bloomberg/phabricator-tools