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.
Change from get_file_contents to file
fix typo
Merge pull request #144 from lgaetz/master

Give user ability to define hosts to ping