added sysinfo functionality to pingc.py; added clean kill using Ctrl-C