In getting pinger data use curl for preference
but wget if curl is not available.

This change does not affect Windows.

Note there are other uses of wget elsewhere in mixmaster.