Shorten --ssh-priv option to --priv

Cosmetic change related to: #7514.

P.S.
I have to open new pull request because I had make a mistake and worked on development branch - as far as I know I'm not able to attach this commit to closed issue in this case.