improve ssh and ping command options; document them