Send ping output to /dev/null

Using -q is not enough to make ping silent: it will still output the
ping summary. So let's make it really quiet by redirecting stdout to
/dev/null.
Merge pull request #189 from vuntz/silent-ping

Send ping output to /dev/null