Add the option to pass a port parameter when pushing ssh keys