launch_tests: ping before restarting proxy

to avoid strange DNS problems
ssh_tunnel: initial version
Utils: fixed typo: do not scroll