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.

Not sure if 'master' is the correct branch to submit to.