Add optionnal config or command line for Port number of SSH

[Arthur Lutz]

I have a particular config with SSH where the host listens on port 22 but I use another port on the public frontend (multiple SSH, SSH listenning on port 443 for it to work on public wifis, avoiding script kiddies, etc.)

[Hylke Bons]

i'm not sure how the script can figure this out. if you know that your SSH config is custom, just change the port when entering it in SparkleShare?