Give user ability to define hosts to ping

This commit gives the ping widget the ability to read the contents of file "ping_hosts" so users can define which hosts get pinged for the ping widget, same as the where.php widget.