Added support for alternative ssh ports

I had a need to use a port number other than 22 for my deployment, I have edited this to support the use of STAGING_SSH_PORT, PROD_SSH_PORT etc in WP-config.php