Allow jump host definitions to include an explicit port in the form user@host:port. Default to port 22 when no port is provided and update the sample config and docs accordingly.
matmoul