handle SSH non-responsiveness with an eventual hard timeout -- problems
on linux with port forwarding.