ssh-copy-id -p port option

[Bob Proulx]

Petr Lautrbach wrote:
> I would like to add an option [-p port] to ssh-copy-id.
>
> If this option is given then ssh-copy-id calls ssh with -p port to connect to
> non-standard port.

If a non-standard port is needed then typically people configure this
option in their ssh config file.  Do that once and it is done
everywhere.  Is there a reason not to do that for ssh-copy-id too?

This is not a comment upon the patch itself or whether it is useful to
regularize the options and option processing.

Bob