pingr::ping won't work for <1ms response times

[Waldi73]

response times <1ms don't fit into the timings regex:

os$regex
[1] "^.*time=(.+)[ ]?ms.*$"

see https://stackoverflow.com/a/73254206/13513328