URI encoding of ssh URL