[PATCH] ping: Add SIGINT signal handling