Simple bash script used to ping several servers