tmate-ssh-server docs: Port Number

Port number

The port 10022 has been chosen as port 22 is already used by juju for ssh access.